LAVASUM
Blog
About
Resources
Beautiful Jekyll
Learn markdown
Search
✕
Proofs Resources
A curation
Texts
Velleman’s How to Prove it 2nd Ed.
Logic and Proof Leanprover community
The Mechanics of Proof Macbeth