The Proof Machine (2016)
BenoitP
27 points
4 comments
July 27, 2026
Related Discussions
Found 5 related stories in 52.7ms across 3,260 title embeddings via pgvector HNSW
- How Gödel's Proof Works (2020) tzury · 89 pts · August 13, 2026 · 51% similar
- Richard Feynman and the Connection Machine (1989) yankcrime · 50 pts · July 15, 2026 · 50% similar
- Multiway Turing Machines (2021 pre-ai) marysminefnuf · 21 pts · July 26, 2026 · 49% similar
- Proving a human wrote something gjtorikian · 52 pts · July 24, 2026 · 48% similar
- PCjs Machines naves · 205 pts · July 21, 2026 · 48% similar
Discussion Highlights (1 comments)
siraben
I've been working on an interactive click-and-prove prover that is backed by dependently typed terms.[0] The Proof Machine only goes up to some Simply-Typed Lambda Calculus terms, whereas I have the logic sufficiently powerful to support recursion and reasoning about programs and equality. [0] https://touchproof.siraben.dev/