Login
Roast topics
Find topics
Find it!
From:
emallson.net
(Uncensored)
subscribe
A Beginner's Companion to Theorem Proving in Lean 4 | Blog | emallson.net
https://emallson.net/blog/a-beginners-companion-to-theorem-proving-in-lean/
links
backlinks
Tagged with:
formalmethods
Roast topics
Find topics
Roast it!
A Beginner's Companion to Theorem Proving in Lean 4
