celioboulay/ExpanderGraphs
ExpanderGraphs
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
Pinned Reservoir catalog
Lean packages and dependencies
Search package metadata by name, description, keyword, license, toolchain, or dependency name. Proof-indexed projects connect to their exact Therefore declaration records.
Package records are ecosystem metadata. Build evidence appears only when Reservoir observed the exact revision and toolchain.
782 packages
782 packages pinned from Reservoir
cryspen/hax
hax
Hax Lean library (automatically generated from cryspen/hax)
Reservoir metadata only · declarations not indexed
- Versions
- 2
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
ElNando888/KrafftSieve
KrafftSieve
Formal Verification of the Krafft Geometry and the Additive Sieve Architecture
Reservoir metadata only · declarations not indexed
- Versions
- 13
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
fgdorais/algebra
algebra
Algebra library for Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
fgdorais/lean4-automata
lean4-automata
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
fgdorais/logic
logic
Logic Library for Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
fpvandoorn/sard
sard
Work towards a general version of Sard's theorem in Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
frenzymath/FATE-M
FATE-M
The FATE-M (Formal Algebra Theorem Evaluation - Medium) benchmark.
Reservoir metadata only · declarations not indexed
- Versions
- 13
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
gsierra99/ExFormMathL4
ExFormMathL4
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- GPL-3.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
hanwenzhu/hammer-demo
hammer-demo
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 2
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
hwatheod/galeShapley
galeShapley
Formalization in Lean of some results related to stable matchings and the Gale-Shapley algorithm
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- MIT
ImperialCollegeLondon/LAGinLean
LAGinLean
Questions related to Imperial College's Linear Algebra and Groups course running in November and December 2024.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 2
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.