AlphaUncommon
hrmacbeth/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
- Owner
- hrmacbeth (personal account)
- Stars
- Stars: 388
- Forks
- Forks: 208
- Language
- HTML
- License
- None
- Created
- 2022
- Topics
- lean4
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in HTML
All HTML repos- jamportz/snellyStars: 388HTMLAlpha
- siddhantgoel/awesome-beancountStars: 388HTMLAlpha
- joshajohnson/Hub16Stars: 388HTMLAlpha
- psztorc/TruthcoinStars: 388HTMLAlpha
- s1gh/ctf-literatureStars: 388HTMLAlpha