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 1.4k 308

  2. mathematics_in_lean mathematics_in_lean Public

    The user home repository for the Mathematics in Lean tutorial.

    HTML 240 179

  3. lean-liquid lean-liquid Public

    💧 Liquid Tensor Experiment

    Lean 170 13

  4. batteries batteries Public

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

    Lean 234 98

  5. aesop aesop Public

    White-box automation for Lean 4

    Lean 185 26

  6. ProofWidgets4 ProofWidgets4 Public

    Helper toolkit for creating your own Lean 4 UserWidgets

    Lean 103 24

Repositories

Showing 10 of 68 repositories
  • mathlib4 Public

    The math library of Lean 4

    leanprover-community/mathlib4’s past year of commit activity
    Lean 1,385 Apache-2.0 308 225 (8 issues need help) 1,049 Updated Sep 20, 2024
  • 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 234 Apache-2.0 98 28 63 Updated Sep 20, 2024
  • 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 51 MIT 119 21 11 Updated Sep 20, 2024
  • mathlib_stats Public

    Display gitstats output on the mathlib website

    leanprover-community/mathlib_stats’s past year of commit activity
    Python 1 5 0 0 Updated Sep 20, 2024
  • LeanSearchClient Public

    Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)

    leanprover-community/LeanSearchClient’s past year of commit activity
    Lean 6 Apache-2.0 3 1 0 Updated Sep 19, 2024
  • aesop Public

    White-box automation for Lean 4

    leanprover-community/aesop’s past year of commit activity
    Lean 185 Apache-2.0 26 19 1 Updated Sep 18, 2024
  • blog Public

    Source for the community blog

    leanprover-community/blog’s past year of commit activity
    Python 6 19 5 7 Updated Sep 18, 2024
  • lean4web Public

    The Lean 4 web editor

    leanprover-community/lean4web’s past year of commit activity
    TypeScript 63 Apache-2.0 17 5 1 Updated Sep 17, 2024
  • flt-regular Public

    Fermat's Last Theorem for regular primes

    leanprover-community/flt-regular’s past year of commit activity
    Lean 50 Apache-2.0 3 0 0 Updated Sep 17, 2024
  • con-nf Public

    A formal consistency proof of Quine's set theory New Foundations

    leanprover-community/con-nf’s past year of commit activity
    Lean 57 Apache-2.0 4 1 0 Updated Sep 16, 2024
View all repositories

Most used topics

Loading…