The Incredible Proof Machine: Visualizing Logic Without Complex Syntax
The Proof Machine (2016)
I created The Incredible Proof Machine to share the joy of doing proofs visually, removing the barrier of learning complex syntax found in tools like Isabelle. By simply dragging and dropping blocks to connect logical steps, users can see their conclusions turn green when a valid proof is formed. This approach makes computer-aided theorem proving accessible and fun for everyone.
The Incredible Proof Machine was created to convey the fun and joy of doing proofs, especially in a computer aided way, without first having to learn the syntax of a real theorem prover like Isabelle.