Top 7 Trending Lean Projects
-
formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
-
-
-
-
-
-
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 | formalising-mathematics-2022 | 6.9% |
2 | lean4 | 4.4% |
3 | lean-liquid | 2.7% |
4 | natural_number_game | 2.4% |
5 | M40001_lean | 2.1% |
6 | mathlib | 2.0% |
7 | formalising-mathematics | 0.8% |