eric-clinch / proper-proofer Goto Github PK
View Code? Open in Web Editor NEWA propositional logical theorem writing and proofing tool written in Python. Uses tkinter graphics and a Breadth First Search algorithm to find the shortest proof of a propositional statement.