AlphaPeu commune
leanprover-community/lean
Lean 3 Theorem Prover (community fork)
Archivé : ce dépôt n’évolue plus
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 436
- Forks
- Forks : 79
- Langage
- C++
- Licence
- Apache-2.0
- Création
- 2019
- Sujets
- lean3
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de leanprover-community
Les 23 dépôts de leanprover-community- leanprover-community/mathlib4Étoiles : 4 405LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 817LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 624HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 575TypeScriptAlpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
D’autres dépôts C++
Tous les dépôts C++- julelang/juleÉtoiles : 436C++Alpha
- NVIDIAGameWorks/dxvk-remixÉtoiles : 436C++Alpha
- PiTracLM/PiTracÉtoiles : 436C++Alpha
- arturoc/FaceSubstitutionÉtoiles : 436C++Alpha
- bittorrent/bootstrap-dhtÉtoiles : 436C++Alpha
- rigaya/QSVEncÉtoiles : 436C++Alpha