AlphaUncommon
dwrensha/compfiles
Catalog Of Math Problems Formalized In Lean
- Owner
- dwrensha (personal account)
- Stars
- Stars: 255
- Forks
- Forks: 71
- Language
- Lean
- License
- Apache-2.0
- Created
- 2022
- Topics
- lean4
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by dwrensha
All 4 repos by dwrensha- dwrensha/seerStars: 367RustAlpha
- dwrensha/gjStars: 110RustPrototype
- dwrensha/animate-lean-proofsStars: 102LeanPrototype
Nearby in Lean
All Lean repos- ImperialCollegeLondon/formalising-mathematics-2024Stars: 262LeanAlpha
- TauCetiProject/TauCetiStars: 260LeanAlpha
- leanprover-community/lean-liquidStars: 255LeanAlpha
- mit-pdos/perennialStars: 253LeanAlpha
- leanprover/comparatorStars: 247LeanPrototype
- teorth/pfrStars: 246LeanPrototype