markpock / fitch-proof-for-propositional-logic Goto Github PK
View Code? Open in Web Editor NEWA utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.