A proofs class textbook in Lean 4 suitable for codershttps://hrmacbeth.github.io/math2001/index.html by dangrigsby • 2 years ago 4 0 2 years agoHRhrmacbeth.github.io