PrototypeCommon
leanprover/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Archived: this repository is read-only
- Owner
- leanprover (organization)
- Stars
- Stars: 128
- Forks
- Forks: 25
- Language
- C++
- License
- Apache-2.0
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean4Stars: 9,804LeanStable
- leanprover/lean3Stars: 2,152C++RC
- leanprover/cslibStars: 786LeanBeta
- leanprover/elanStars: 671RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/vscode-lean4Stars: 316TypeScriptAlpha
Nearby in C++
All C++ repos- duyuanfu/evan-ocrStars: 128C++Prototype
- invinceble55-wq/Estacado-The-Darkness-RecompStars: 128C++Prototype
- BlackLineInteractive/Driveclub-PortStars: 128C++Prototype
- qknight/libnoiseStars: 128C++Prototype
- sabel83/mpllibsStars: 128C++Prototype
- fclaude/libcdsStars: 128C++Prototype