PrototypeCommune
yuma-mizuno/lean-math-workshop
数学系のためのLean勉強会
- Propriétaire
- yuma-mizuno (compte personnel)
- Étoiles
- Étoiles : 105
- Forks
- Forks : 27
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- NethermindEth/LeanCILÉtoiles : 108LeanPrototype
- leanprover/SampCertÉtoiles : 106LeanPrototype
- chasenorman/CanonicalÉtoiles : 105LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
- dwrensha/animate-lean-proofsÉtoiles : 102LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype