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 598 423

  3. lean-liquid lean-liquid Public

    💧 Liquid Tensor Experiment

    Lean 253 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,202 Apache-2.0 1,721 290 (16 issues need help) 3,157 Updated Sep 29, 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,735 0 13 Updated Sep 29, 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) 69 Updated Sep 29, 2026
  • blog Public

    Source for the community blog

    leanprover-community/blog's past year of commit activity
    Python 11 32 4 3 Updated Sep 29, 2026
  • physlib Public

    A project to digitalise results from physics into Lean.

    leanprover-community/physlib's past year of commit activity
    Lean 764 Apache-2.0 193 54 (15 issues need help) 45 Updated Sep 29, 2026
  • leanprover-community.github.io Public

    Hosts the website for mathlib and other Lean community infrastructure.

    leanprover-community/leanprover-community.github.io's past year of commit activity
    CSS 84 MIT 190 20 17 Updated Sep 29, 2026
  • mathlib-changelog Public
    leanprover-community/mathlib-changelog's past year of commit activity
    Lean 15 MIT 0 3 2 Updated Sep 29, 2026
  • mathlib_stats Public

    Display gitstats output on the mathlib website

    leanprover-community/mathlib_stats's past year of commit activity
    Python 3 5 0 0 Updated Sep 29, 2026
  • crossref-exports Public
    leanprover-community/crossref-exports's past year of commit activity
    JavaScript 0 2 0 0 Updated Sep 29, 2026
  • mathlib-landing Public
    leanprover-community/mathlib-landing's past year of commit activity
    CSS 0 MIT 3 0 3 Updated Sep 28, 2026
View all repositories