Viktor Yudov issues

Repositories
Issues
Comments

Results 3 issues of


                                            Viktor Yudov

Modal logic

Module containing the formalization of normal modal logics. It includes: - Syntax and Kripke semantics of modal logics - Definition of modal logics K and S5 - Constructive proofs of...

foundation

order-theory

univalent-combinatorics

lists

modal-logic

## Description Sometimes the translation ends with an error: ```plaintext Uncaught (in promise) TypeError: Invalid type at yr (contentscript.js:2:313244) at contentscript.js:2:316449 ``` ## Configuration Sent to email [email protected] ## Environment...

questions

unconfirmed

Incorrect handling of escaped characters in Windows cmd

### Version v23.3.0 ### Platform ```text Microsoft Windows NT 10.0.19045.0 x64 ``` ### Subsystem _No response_ ### What steps will reproduce the bug? 1. Install node.js on Windows in the...