PrototypeCommune
leanprover/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Archivé : ce dépôt n’évolue plus
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 128
- Forks
- Forks : 25
- Langage
- C++
- Licence
- Apache-2.0
- Création
- 2016
- 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 C++
Tous les dépôts C++- duyuanfu/evan-ocrÉtoiles : 128C++Prototype
- invinceble55-wq/Estacado-The-Darkness-RecompÉtoiles : 128C++Prototype
- BlackLineInteractive/Driveclub-PortÉtoiles : 128C++Prototype
- qknight/libnoiseÉtoiles : 128C++Prototype
- sabel83/mpllibsÉtoiles : 128C++Prototype
- fclaude/libcdsÉtoiles : 128C++Prototype