Top 4 Trending Lean Projects
Lean stuff for M40001
Lean 4 programming language and theorem prover
Lean mathematical components library
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.