Trending Lean Projects

This page lists the top trending Lean projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 6 Feb 2023.
» Get a weekly report « straight in your inbox. Every Friday.

Top 7 Trending Lean Projects

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.


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%