GitHub repository: JonBannon/math2001
Primary language: HTML
Description: Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant