Discover trending Lean
open-source projects

20
51
77
Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • Zigi - Delete the most useless function ever: context switching.
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • Scout APM - Truly a developer’s best friend
Mentions
@
Stars Project Description
1 1,923 Lean 4 programming language and theorem prover
1 1,382 Lean mathematical components library
1 257 Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
1 21 Lean-independent implementation of the MM-Lean link

Popular Lean Topics