AlphaPeu commune
dwrensha/compfiles
Catalog Of Math Problems Formalized In Lean
- Propriétaire
- dwrensha (compte personnel)
- Étoiles
- Étoiles : 255
- Forks
- Forks : 71
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2022
- Sujets
- lean4
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de dwrensha
Les 4 dépôts de dwrensha- dwrensha/seerÉtoiles : 367RustAlpha
- dwrensha/gjÉtoiles : 110RustPrototype
- dwrensha/animate-lean-proofsÉtoiles : 102LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 262LeanAlpha
- TauCetiProject/TauCetiÉtoiles : 259LeanAlpha
- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha
- mit-pdos/perennialÉtoiles : 253LeanAlpha
- leanprover/comparatorÉtoiles : 247LeanPrototype
- teorth/pfrÉtoiles : 246LeanPrototype