Sign in
Rare find
math2001.
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
github.com/hrmacbeth/math2001
by
@hrmacbeth
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
