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

Top 10 Trending Lean Projects

  • mathlib4

    The math library of Lean 4

  • batteries

    The "batteries included" extended library for the Lean programming language and theorem prover (by leanprover-community)

  • lean4

    Lean 4 programming language and theorem prover

  • lean-liquid

    💧 Liquid Tensor Experiment

  • mathlib

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

  • formalising-mathematics-2022

    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

  • formalising-mathematics

    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

  • natural_number_game

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

  • M40001_lean

    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 27.1%
2 batteries 10.7%
3 lean4 5.0%
4 lean4-metaprogramming-book 4.0%
5 lean-liquid 2.6%
6 mathlib 1.8%
7 formalising-mathematics-2022 1.7%
8 formalising-mathematics 1.4%
9 natural_number_game -0.3%
10 M40001_lean -0.6%