hrmacbeth / math2001

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

Related projects

Alternatives and complementary repositories for math2001