Eliemer/lean--the-mechanics-of-proofs

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

HTML