hrmacbeth / math2001Links

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
☆254Updated 5 months ago

Alternatives and similar repositories for math2001

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

Sorting: