discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Linking pages
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/
17 comments
Related searches:
Search whole site:
site:loogle.lean-lang.org
Search title:
Loogle!
See
how to search
.
Submit link to:
Hacker News
Reddit
Lobsters
Twitter
Mastodon