leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Pinned Loading
Repositories
Showing 10 of 106 repositories
- 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 - batteries Public
The "batteries included" extended library for the Lean programming language and theorem prover
leanprover-community/batteries’s past year of commit activity - project-intentions Public
An informational registry of projects people are working on in the Lean/Mathlib community. No guarantees; purely a way to make intentions visible.
leanprover-community/project-intentions’s past year of commit activity - intentions Public
Coordinate who works on what: claim tasks via GitHub issue comments, with configurable claim expiry (TTL). Reusable GitHub Action.
leanprover-community/intentions’s past year of commit activity - mathlib-at-ICERM26 Public Forked from leanprover-community/mathlib4
A fork of mathlib4 for team work during the May 2026 meeting at ICERM
leanprover-community/mathlib-at-ICERM26’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…