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 3k 1.1k

  2. mathematics_in_lean mathematics_in_lean Public

    The user home repository for the Mathematics in Lean tutorial.

    HTML 477 351

  3. lean-liquid lean-liquid Public

    💧 Liquid Tensor Experiment

    Lean 225 15

  4. batteries batteries Public

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

    Lean 364 138

  5. aesop aesop Public

    White-box automation for Lean 4

    Lean 343 50

  6. ProofWidgets4 ProofWidgets4 Public

    Helper toolkit for creating your own Lean 4 UserWidgets

    Lean 187 44

Repositories

Showing 10 of 92 repositories
  • mathlib4 Public

    The math library of Lean 4

    leanprover-community/mathlib4’s past year of commit activity
    Lean 2,977 Apache-2.0 1,122 266 (16 issues need help) 2,282 Updated Mar 6, 2026
  • blog Public

    Source for the community blog

    leanprover-community/blog’s past year of commit activity
    Python 8 28 4 2 Updated Mar 6, 2026
  • queueboard Public
    leanprover-community/queueboard’s past year of commit activity
    AspectJ 0 Apache-2.0 0 0 0 Updated Mar 6, 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 74 MIT 173 18 7 Updated Mar 6, 2026
  • mathlib-ci Public

    Scripts and utilities to support the mathlib repository's CI/CD operations

    leanprover-community/mathlib-ci’s past year of commit activity
    Shell 2 Apache-2.0 1 0 4 Updated Mar 6, 2026
  • bors-ng Public Forked from bors-ng/bors-ng

    👁 A merge bot for GitHub Pull Requests

    leanprover-community/bors-ng’s past year of commit activity
    Elixir 2 Apache-2.0 196 0 0 Updated Mar 6, 2026
  • queueboard-core Public

    testing a split of code and data for the queueboard

    leanprover-community/queueboard-core’s past year of commit activity
    Python 2 Apache-2.0 7 25 1 Updated Mar 6, 2026
  • physlib Public

    A project to digitalise results from physics into Lean.

    leanprover-community/physlib’s past year of commit activity
    Lean 505 Apache-2.0 78 59 (3 issues need help) 12 Updated Mar 6, 2026
  • import-graph Public

    Tool to analyse the import structure of lean projects.

    leanprover-community/import-graph’s past year of commit activity
    Lean 18 Apache-2.0 13 4 0 Updated Mar 6, 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 364 Apache-2.0 138 28 (2 issues need help) 44 Updated Mar 6, 2026
View all repositories