JavaScript/PHP Fitch-style natural deduction proof editor and checker
Primary LanguagePHPGNU General Public License v3.0GPL-3.0