hrmacbeth / math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hrmacbeth/math2001 Stargazers