discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
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
6/1/2024
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
28/12/2023
formalmethods