math2001
math2001 copied to clipboard
hrmacbeth
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Results
22
math2001 issues
Sort by
recently updated
recently updated
newest added
The original link to Book of Proof (https://www.people.vcu.edu/~rhammack/BookOfProof/) no longer works. Several alternative mirrors or sources exist: * https://archive.org/details/book-of-proof-3rd-edition-2018-richard-hammack * https://richardhammack.github.io/BookOfProof/ * https://jdhsmith.math.iastate.edu/class/BookOfProof.pdf Of these, the Internet Archive link is...
