JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED) - View it on GitHub