This repository is not active
hotdogontology/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML
This repository is not active