PrototypeCommon
yuma-mizuno/lean-math-workshop
数学系のためのLean勉強会
- Owner
- yuma-mizuno (personal account)
- Stars
- Stars: 105
- Forks
- Forks: 27
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- NethermindEth/LeanCILStars: 108LeanPrototype
- leanprover/SampCertStars: 107LeanPrototype
- chasenorman/CanonicalStars: 105LeanPrototype
- AxiomMath/IMO2026Stars: 103LeanPrototype
- dwrensha/animate-lean-proofsStars: 102LeanPrototype
- leanprover/lakeStars: 101LeanPrototype