/fitch-system

Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules

Retired project

This project is retired. All contents has been merged into this project.