Hacker News
- A Beginner's Companion to Theorem Proving in Lean 4 https://emallson.net/blog/a-beginners-companion-to-theorem-proving-in-lean/ 11 comments
Lobsters
- A Beginner's Companion to Theorem Proving in Lean 4 https://emallson.net/blog/a-beginners-companion-to-theorem-proving-in-lean/ 6 comments formalmethods
Linked pages
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Hoogle https://hoogle.haskell.org/ 49 comments
- Moogle: Semantic search over mathlib4 https://www.moogle.ai/ 22 comments
- Modus tollens - Wikipedia https://en.wikipedia.org/wiki/Modus_tollens 17 comments
- Loogle! https://loogle.lean-lang.org/ 0 comments
- Programming Language and Theorem Prover — Lean https://lean-lang.org/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:emallson.net
Search title: A Beginner's Companion to Theorem Proving in Lean 4 | Blog | emallson.net
See how to search.