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 Dec 2021.
» Get a weekly report « straight in your inbox. Every Friday.

Top 4 Trending Lean Projects

  • GitHub repo M40001_lean

    Lean stuff for M40001

  • GitHub repo lean4

    Lean 4 programming language and theorem prover

  • GitHub repo mathlib

    Lean mathematical components library

  • GitHub repo natural_number_game

    Building the natural numbers in Lean.

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 M40001_lean 8.5%
2 lean4 6.7%
3 mathlib 4.4%
4 natural_number_game 4.0%