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