Skip to content
@leanprover-community

leanprover-community

Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover

Pinned Loading

  1. mathlib4 mathlib4 Public

    The math library of Lean 4

    Lean 4.2k 1.7k

  2. mathematics_in_lean mathematics_in_lean Public

    The user home repository for the Mathematics in Lean tutorial.

    HTML 599 426

  3. lean-liquid lean-liquid Public

    💧 Liquid Tensor Experiment

    Lean 254 21

  4. batteries batteries Public

    The "batteries included" extended library for the Lean programming language and theorem prover

    Lean 420 165

  5. aesop aesop Public

    White-box automation for Lean 4

    Lean 406 59

  6. ProofWidgets4 ProofWidgets4 Public

    Helper toolkit for creating your own Lean 4 UserWidgets

    Lean 227 49

Repositories

Showing 10 of 105 repositories
  • mathlib4 Public

    The math library of Lean 4

    leanprover-community/mathlib4's past year of commit activity
    Lean 4,217 Apache-2.0 1,729 289 (16 issues need help) 3,149 Updated Oct 3, 2026
  • blog Public

    Source for the community blog

    leanprover-community/blog's past year of commit activity
    Python 11 32 4 3 Updated Oct 3, 2026
  • mathlib4-nightly-testing Public Forked from leanprover-community/mathlib4

    nightly-testing and lean-pr-testing branches of Mathlib

    leanprover-community/mathlib4-nightly-testing's past year of commit activity
    Lean 3 Apache-2.0 1,745 0 14 Updated Oct 3, 2026
  • batteries-recycling Public
    leanprover-community/batteries-recycling's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 3, 2026
  • batteries-cell-template Public template
    leanprover-community/batteries-cell-template's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 3, 2026
  • batteries Public

    The "batteries included" extended library for the Lean programming language and theorem prover

    leanprover-community/batteries's past year of commit activity
    Lean 420 Apache-2.0 165 27 (2 issues need help) 72 Updated Oct 3, 2026
  • mathlib4_copy Public Forked from leanprover-community/mathlib4

    A fork of the mathlib4 repo with CI disabled

    leanprover-community/mathlib4_copy's past year of commit activity
    Lean 0 Apache-2.0 1,745 0 0 Updated Oct 3, 2026
  • downstream-reports Public

    Reporting workflows and dashboards using the hopscotch tool

    leanprover-community/downstream-reports's past year of commit activity
    Python 4 4 0 6 Updated Oct 3, 2026
  • physlib Public

    A project to digitalise results from physics into Lean.

    leanprover-community/physlib's past year of commit activity
    Lean 767 Apache-2.0 193 54 (15 issues need help) 49 Updated Oct 3, 2026
  • add-combi Public

    The sublibrary of Mathlib dedicated to additive combinatorics

    leanprover-community/add-combi's past year of commit activity
    Lean 19 Apache-2.0 5 0 1 Updated Oct 3, 2026
View all repositories