Results
26
repositories owned by
Lean
lean3
2.1k
Stars
216
Forks
Watchers
Lean Theorem Prover
lean4
3.9k
Stars
327
Forks
Watchers
Lean 4 programming language and theorem prover
lean2
121
Stars
23
Forks
Watchers
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
theorem_proving_in_lean4
141
Stars
79
Forks
Watchers
Theorem Proving in Lean 4
lake
97
Stars
19
Forks
Watchers
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
lean4-cli
56
Stars
9
Forks
Watchers
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
functional_programming_in_lean
37
Stars
2
Forks
Watchers
A book about functional programming in Lean