01
leanprover/lean4
Lean 4 programming language and theorem prover
- Stars
- 8.8K
- Forks
- 940
- Pushed
- Today
Search credible GitHub repositories.
Compare adoption and maintenance signals without opening every result.
Current data onlyNo fabricated star growth or “trending” claims.
Ranked results
Best repositories for “language:Lean”
Popular ranks GitHub matches by stars. Switch sort to inspect forks or recent maintenance.
GitHub · 1.3K matches
02
leanprover-community/mathlib4
The math library of Lean 4
- Stars
- 3.9K
- Forks
- 1.6K
- Pushed
- Today
03
thomasahle/sunfish
Sunfish: a Python Chess Engine in 111 lines of code
- Stars
- 3.3K
- Forks
- 585
- Pushed
- Today
04
teorth/analysis
A Lean companion to Analysis I
- Stars
- 1.9K
- Forks
- 260
- Pushed
- 7d ago
05
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
- Stars
- 1.2K
- Forks
- 414
- Pushed
- Today
06
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
- Stars
- 974
- Forks
- 162
- Pushed
- Today
07
google-deepmind/superhuman
No repository description provided.
- Stars
- 789
- Forks
- 82
- Pushed
- 10d ago
08
leanprover-community/physlib
A project to digitalise results from physics into Lean.
- Stars
- 695
- Forks
- 162
- Pushed
- Today
09
uwdb/Cosette
Cosette is an automated SQL solver.
- Stars
- 686
- Forks
- 57
- Pushed
- 1y ago
10
leanprover/cslib
The Lean Computer Science Library (CSLib)
- Stars
- 653
- Forks
- 182
- Pushed
- Today
11
AndrasKovacs/smalltt
Demo for high-performance type theory elaboration
- Stars
- 594
- Forks
- 29
- Pushed
- 6mo ago
12
teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.
- Stars
- 548
- Forks
- 103
- Pushed
- 4d ago
13
lecopivo/SciLean
Scientific computing in Lean 4
- Stars
- 525
- Forks
- 42
- Pushed
- 6mo ago
14
ByteDance-Seed/Seed-Prover
No repository description provided.
- Stars
- 440
- Forks
- 28
- Pushed
- 6mo ago
15
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
- Stars
- 415
- Forks
- 158
- Pushed
- Today
16
jinshanmu/CrouzeixConjecture
Research draft of a candidate proof of Crouzeix's conjecture
- Stars
- 415
- Forks
- 55
- Pushed
- 2d ago
17
digama0/mm0
Metamath Zero specification language
- Stars
- 413
- Forks
- 57
- Pushed
- 11d ago
18
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
- Stars
- 404
- Forks
- 36
- Pushed
- 7y ago
19
PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
- Stars
- 403
- Forks
- 155
- Pushed
- 4mo ago
20
leanprover-community/aesop
White-box automation for Lean 4
- Stars
- 397
- Forks
- 59
- Pushed
- 7d ago
21
leanprover/verso
Lean documentation authoring tool
- Stars
- 374
- Forks
- 120
- Pushed
- Today
22
leanprover-community/NNG4
Natural Number Game
- Stars
- 358
- Forks
- 85
- Pushed
- 1mo ago
23
AlexKontorovich/PrimeNumberTheoremAnd
Blueprint for the PNT+ Project
- Stars
- 338
- Forks
- 110
- Pushed
- 2d ago
24
lambdaclass/concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
- Stars
- 333
- Forks
- 20
- Pushed
- 17d ago
25
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
- Stars
- 326
- Forks
- 108
- Pushed
- Today
26
math-inc/strongpnt
No repository description provided.
- Stars
- 321
- Forks
- 21
- Pushed
- 11mo ago
27
ImperialCollegeLondon/formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
- Stars
- 315
- Forks
- 21
- Pushed
- 2y ago
28
leanprover-community/lean4-metaprogramming-book
No repository description provided.
- Stars
- 311
- Forks
- 77
- Pushed
- 7d ago
29
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
- Stars
- 306
- Forks
- 43
- Pushed
- 5d ago
30
ImperialCollegeLondon/natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
- Stars
- 302
- Forks
- 70
- Pushed
- 2y ago