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