hrmacbeth / math2001Links

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
307Updated 10 months ago

Alternatives and similar repositories for math2001

Users that are interested in math2001 are comparing it to the libraries listed below

Sorting: