Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Primary LanguageHTML
No one’s watching this repository yet.