PrototypeCommune
leanprover/comparator
Pas de description.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 247
- Forks
- Forks : 41
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- leanprover/lean4Étoiles : 9 804LeanStable
- leanprover/lean3Étoiles : 2 153C++RC
- leanprover/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha
- dwrensha/compfilesÉtoiles : 255LeanAlpha
- mit-pdos/perennialÉtoiles : 253LeanAlpha
- teorth/pfrÉtoiles : 246LeanPrototype
- leanprover-community/iris-leanÉtoiles : 244LeanPrototype
- Pengbinghui/pipeline-mathÉtoiles : 243LeanPrototype