AlphaPeu commune
digama0/mm0
Metamath Zero specification language
- Propriétaire
- digama0 (compte personnel)
- Étoiles
- Étoiles : 422
- Forks
- Forks : 59
- Langage
- Lean
- Licence
- CC0-1.0
- Création
- 2019
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de digama0
Les 3 dépôts de digama0- digama0/lean4leanÉtoiles : 269LeanAlpha
- digama0/lean-type-theoryÉtoiles : 174TeXPrototype
D’autres dépôts Lean
Tous les dépôts Lean- ByteDance-Seed/Seed-ProverÉtoiles : 442LeanAlpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
- PatrickMassot/GlimpseOfLeanÉtoiles : 428LeanAlpha
- leanprover-community/aesopÉtoiles : 413LeanAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- dselsam/certigradÉtoiles : 404LeanAlpha