leanprover-community

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

Pinned Repositories

aesop
White-box automation for Lean 4
Language:Lean214 9 6328
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean253 16 62105
lean
Lean 3 Theorem Prover (community fork)
Language:C++435 28 20580
lean-liquid
💧 Liquid Tensor Experiment
Language:Lean181 14 7615
lean4-metaprogramming-book
Language:Lean225 9 3956
lean4game
Server to host lean games.
Language:TypeScript199 10 22935
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML279 14 0199
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362298
mathlib4
The math library of Lean 4
Language:Lean1.6k 39 419343
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language:Lean116 8 2127

leanprover-community's Repositories

leanprover-community/lean-sensitivity
A formalization of Huang's degree theorem
Language:Lean8 11 03
leanprover-community/lean-mode-contrib
Language:Emacs Lisp44
leanprover-community/ccache
ccache – a fast compiler cache
Language:C
leanprover-community/sccache
sccache is ccache with cloud storage
Language:Rust