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% |