leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Pinned Loading
Repositories
Showing 10 of 83 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 - queueboard Public
leanprover-community/queueboard’s past year of commit activity - 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 - mathlib-changelog Public
leanprover-community/mathlib-changelog’s past year of commit activity
Most used topics
Loading…