leanprover-community

icon indicating a website link https://leanprover-community.github.io/

icon location Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover

Results 35 repositories owned by leanprover-community

mathlib

1.6k
Stars
298
Forks
Watchers

Lean 3's obsolete mathematical components library: please use mathlib4

verified publisher icon leanprover-community

mathlib4

949
Stars
234
Forks
Watchers

The math library of Lean 4

verified publisher icon leanprover-community

lean

434
Stars
80
Forks
Watchers

Lean 3 Theorem Prover (community fork)

verified publisher icon leanprover-community

lean4-metaprogramming-book

202
Stars
46
Forks
Watchers

verified publisher icon leanprover-community

iris-lean

61
Stars
4
Forks
Watchers

Lean 4 port of Iris, a higher-order concurrent separation logic framework

verified publisher icon leanprover-community

aesop

152
Stars
24
Forks
Watchers

White-box automation for Lean 4

verified publisher icon leanprover-community

lean4-mode

52
Stars
25
Forks
Watchers

Emacs major mode for Lean 4

verified publisher icon leanprover-community

lean4-samples

67
Stars
22
Forks
Watchers

Code samples for Lean 4

verified publisher icon leanprover-community

batteries

208
Stars
84
Forks
Watchers

The "batteries included" extended library for the Lean programming language and theorem prover

verified publisher icon leanprover-community

doc-gen

20
Stars
20
Forks
Watchers

Generate HTML documentation for mathlib and Lean

verified publisher icon leanprover-community