fynmn / theorem-prover-for-propositional-logic Goto Github PK
View Code? Open in Web Editor NEWThis is a Theorem Prover for Propositional Logic. It doesn't take a formula input from the user as of the moment but rather it gives the user options to choose from the given formulas.