Lean Lean

Open-source Lean projects categorized as Lean

Top 4 Lean Lean Projects

  • lean4

    Lean 4 programming language and theorem prover

  • Project mention: The Fermat's Last Theorem Project | news.ycombinator.com | 2024-05-01

    Lean is free and open source and nothing to do with MS. Check out https://lean-lang.org/ and https://github.com/leanprover/lean4 -- no mention of MS or MSR (where de Moura was where he developed Lean 3 and started on Lean 4).

  • mathlib

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

  • Project mention: An Easy-Sounding Problem Yields Numbers Too Big for Our Universe | news.ycombinator.com | 2023-12-04
  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • batteries

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

  • Project mention: The Mechanics of Proof | news.ycombinator.com | 2024-03-20
  • hott3

    HoTT in Lean 3

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Lean Lean related posts


What are some of the best open-source Lean projects in Lean? This list will help you:

Project Stars
1 lean4 3,837
2 mathlib 1,648
3 batteries 206
4 hott3 72

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives