-E and -I justification do not parse

OpenLogicProject / fitch-checker

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

GNU General Public License v3.0

51 stars 5 forks source link

-E and -I justification do not parse #16

Open leovt opened 1 week ago

leovt commented 1 week ago

you can enter negative propositions as -A and they are parsed into ¬A. However for justifications it does not parse the same way.

If there is an interest i could try and work on a patch, would likely take me more than 1 month due to other constraints and being unfamiliar with the code.

frabjous commented 1 week ago

This project is not in active development, and I'm not going to do any more work on it. For my successor see logicpenguin.