leanprover-community

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

Pinned Repositories

aesop
White-box automation for Lean 4
Language:Lean155 9 5824
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean218 21 5988
lean
Lean 3 Theorem Prover (community fork)
Language:C++433 28 20481
lean-liquid
💧 Liquid Tensor Experiment
Language:Lean161 13 7612
lean4-metaprogramming-book
Language:Lean203 10 3945
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML209 13 0142
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362297
mathlib4
The math library of Lean 4
Language:Lean1.2k 40 376251
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language:Lean93 8 1922
tutorials
Some Lean tutorials
Language:Lean180 8 1161

leanprover-community's Repositories

leanprover-community/mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 53 362297
leanprover-community/mathlib4
The math library of Lean 4
Language:Lean1.2k 40 376251
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean218 21 5988
leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML209 13 0142
leanprover-community/lean4-metaprogramming-book
Language:Lean203 10 3945
leanprover-community/aesop
White-box automation for Lean 4
Language:Lean155 9 5824
leanprover-community/lean4game
Server to host lean games.
Language:TypeScript132 9 21225
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language:Lean93 8 1922
leanprover-community/NNG4
Natural Number Game
Language:Lean83 11 4029
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
Language:Lean69 6 2010
leanprover-community/lean-auto
Experiments in automation for Lean
Language:Lean58 8 149
leanprover-community/con-nf
A formal consistency proof of Quine's set theory New Foundations
Language:Lean56 17 242
leanprover-community/lean4-mode
Emacs major mode for Lean 4
Language:Emacs Lisp55 6 1926
leanprover-community/repl
A simple REPL for Lean 4, returning information about errors and sorries.
Language:Lean54 18 1512
leanprover-community/lean4web
The Lean 4 web editor
Language:CSS52 10 2414
leanprover-community/flt-regular
Fermat's Last Theorem for regular primes
Language:Lean50 17 883
leanprover-community/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS48 13 34112
leanprover-community/duper
Language:Lean44 11 48
leanprover-community/mathport
Mathport is a tool for porting Lean3 projects to Lean4
Language:Lean39 8 8415
leanprover-community/sphere-eversion
Formalization of the existence of sphere eversions
Language:Lean35 14 5210
leanprover-community/tutorials4
Lean 4 tutorial files
Language:Lean21 17 03
leanprover-community/leancrawler
An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
Language:Python17 6 13
leanprover-community/mathlib3port
Synport output from mathport for mathlib3
Language:Lean11 17 05
leanprover-community/blog
Source for the community blog
Language:Python6 17 1214
leanprover-community/highlightjs-lean
A highlight.js language grammar for the Lean theorem proving language.
Language:JavaScript6 9 22
leanprover-community/import-graph
Tool to analyse the import structure of lean projects.
Language:Lean6 8 02
leanprover-community/mathlib4_docs
6 18 11
leanprover-community/byte-slice
Language:Lean1
leanprover-community/lean3port
Stub for downloading mathport artifacts for Lean 3
Language:Lean1 16 04
leanprover-community/mathlib_stats
Display gitstats output on the mathlib website
Language:Python1 9 45