benburrill/fitch-checker
JavaScript/PHP Fitch-style natural deduction proof editor and checker
PHPGPL-3.0
No issues in this repository yet.
JavaScript/PHP Fitch-style natural deduction proof editor and checker
PHPGPL-3.0
No issues in this repository yet.