This project is retired. All contents has been merged into this project.
fisakov/fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
This project is retired. All contents has been merged into this project.