The project is to make teaching software to help 1st-year undergraduates and possibly MSc logic students learn to construct correct proofs that two logical formulas are logically equivalent, by transforming one formula into the other using a standard base set of equivalences.
kongy / et Goto Github PK
View Code? Open in Web Editor NEWET - Equivalence Tutor