Discover trending Lean
open-source projects

23
60
96
Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SonarLint - Clean code begins in your IDE with SonarLint
  • SaaSHub - Software Alternatives and Reviews
Mentions
@
Stars Project Description
1 2,059 Lean 4 programming language and theorem prover
1 1,432 Lean mathematical components library

Popular Lean Topics