search

hrmacbeth / math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
184 stars 82 forks source link

Complete Ch 2 - 3.2 #11

Closed lukechen526 closed 7 months ago