# GitHub repos by leanprover

<https://repo.masters-masters.com/en/owners/leanprover>

[Home](https://repo.masters-masters.com/en) › [leanprover](https://repo.masters-masters.com/en/owners/leanprover)

All 18 public GitHub repos by leanprover in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by leanprover

18 public repos by leanprover in the catalog, most starred first.

- [leanprover/lean4 · ★ 9,836 · Lean · Stable](https://repo.masters-masters.com/en/repos/leanprover/lean4)
- [leanprover/lean3 · ★ 2,152 · C++ · RC](https://repo.masters-masters.com/en/repos/leanprover/lean3)
- [leanprover/cslib · ★ 793 · Lean · Beta](https://repo.masters-masters.com/en/repos/leanprover/cslib)
- [leanprover/elan · ★ 673 · Rust · Alpha](https://repo.masters-masters.com/en/repos/leanprover/elan)
- [leanprover/verso · ★ 405 · Lean · Alpha](https://repo.masters-masters.com/en/repos/leanprover/verso)
- [leanprover/vscode-lean4 · ★ 316 · TypeScript · Alpha](https://repo.masters-masters.com/en/repos/leanprover/vscode-lean4)
- [leanprover/theorem\_proving\_in\_lean4 · ★ 286 · Lean · Alpha](https://repo.masters-masters.com/en/repos/leanprover/theorem_proving_in_lean4)
- [leanprover/comparator · ★ 247 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/comparator)
- [leanprover/fp-lean · ★ 204 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/fp-lean)
- [leanprover/doc-gen4 · ★ 177 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/doc-gen4)
- [leanprover/con-leche · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/con-leche)
- [leanprover/reference-manual · ★ 137 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/reference-manual)
- [leanprover/lean2 · ★ 128 · C++ · Prototype](https://repo.masters-masters.com/en/repos/leanprover/lean2)
- [leanprover/lean4-cli · ★ 125 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/lean4-cli)
- [leanprover/LNSym · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/LNSym)
- [leanprover/vscode-lean · ★ 114 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/leanprover/vscode-lean)
- [leanprover/SampCert · ★ 107 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/SampCert)
- [leanprover/lake · ★ 101 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/lake)

## See leanprover on GitHub

- [https://github.com/leanprover](https://github.com/leanprover)

---
Data: GitHub