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
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.