Hacker News·3 min read·medium
The Proof Machine (2016)
B
BenoitP✦AI Summary
The Incredible Proof Machine is a visual tool designed to help users perform logical proofs without needing to learn complex syntax. It allows users to connect blocks representing proof steps to verify conclusions.
This is a tool to perform proofs in various logics (e.g. propositional, predicate logic) visually: You simply add blocks that represent the various proofs steps, connect them properly, and if the conclusion turns green, then you have created a complete proof! Simply drag and drop to connect two dots; for some examples of completed proofs, see this paper .
technologyeducation
✦
Get the full story
Sign up for Headlinne to unlock AI insights, political bias analysis, and your personalized news feed.
Create free accountAlready have an account? Sign in