leanprover-community/lean

Lean 3 Theorem Prover (community fork)

C++

434

13,584 commits

updated Oct 12, 2023

leanprover-community.github.io

See the code

README

[!WARNING]
Lean 3 is no longer actively maintained. It is strongly recommended that you use Lean 4 instead.

(If you need to read the old README.md, please see OLD_README.md.)

lean3

Contributors

(top 30 of 66)

10,045 commits

866 commits

826 commits

639 commits

Similar repos

leanprover-community/tutorials

Some Lean tutorials

183

same org

leanprover/lean

Lean Theorem Prover

2,154

ammkrn/nanoda

A type checker for the Lean theorem prover

fpvandoorn/lean-links

Links to recourses for the Lean Theorem Prover

leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

275

leanprover/theorem_proving_in_lean

Theorem proving in Lean

lean-ja/lean-by-example

コード例で学ぶ Lean 言語

188

GaloisInc/lean-llvm

LLVM support for the lean theorem prover

Languages

C++

75.4%

Lean

22.5%