Trending Lean Projects

Top 10 Trending Lean Projects

mathlib4

1 709 12.1%

The math library of Lean 4
lean4

2 3,714 4.7%

Lean 4 programming language and theorem prover
lean-liquid

3 154 3.2%

💧 Liquid Tensor Experiment
std4

4 190 3.2%

Standard Library for Lean 4
lean4-metaprogramming-book

5 192 1.6%
formalising-mathematics

6 294 1.4%

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
formalising-mathematics-2022

7 117 0.9%

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
mathlib

8 1,625 0.4%

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

9 290 -0.3%

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
M40001_lean

10 156 -1.3%

Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

ABOUT: The growth percentage is calculated as the increase in the number of stars compared to the previous month. We list only projects that have at least 500 stars and a GitHub organization logo set.

Index

What are some of the trending open-source Lean projects? This list will help you:

	Project	Growth
1	mathlib4	12.1%
2	lean4	4.7%
3	lean-liquid	3.2%
4	std4	3.2%
5	lean4-metaprogramming-book	1.6%
6	formalising-mathematics	1.4%
7	formalising-mathematics-2022	0.9%
8	mathlib	0.4%
9	natural_number_game	-0.3%
10	M40001_lean	-1.3%