A propositional logic theorem prover implemented in C for the COMP202P Computer Science module
thalexander / prop-logic-c Goto Github PK
View Code? Open in Web Editor NEWA propositional logic theorem prover implemented in C for the COMP202P Computer Science module