RCÉpique
leanprover/lean3
Lean Theorem Prover
Archivé : ce dépôt n’évolue plus
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 2 152
- Forks
- Forks : 226
- Langage
- C++
- Licence
- Apache-2.0
- Création
- 2013
- Sujets
- programming-languagetheorem-provingtype-theoryverificationdependent-typeslean
- Rang
- RC (2 000 à 4 999 ★) 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/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
D’autres dépôts C++
Tous les dépôts C++- mike4192/spotMicroÉtoiles : 2 161C++RC
- Tw1ddle/geometrizeÉtoiles : 2 153C++RC
- intel/openvino-plugins-ai-audacityÉtoiles : 2 153C++RC
- TorqueGameEngines/Torque3DÉtoiles : 2 151C++RC
- sisong/HDiffPatchÉtoiles : 2 147C++RC
- SpecialKO/SpecialKÉtoiles : 2 147C++RC