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