Discover trending Lean
open-source projects

Our great sponsors
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • SaaSHub - Software Alternatives and Reviews
Stars Project Description
1 1,619 Lean 3's obsolete mathematical components library: please use mathlib4
1 3 A small programming language formally defined with a series of blog posts and Lean code.
1 1 A proof of the infinitude of primes in Lean 4 from first principles

Popular Lean Topics