jeswr/RustFFI
RustFFI
An RDF Library for Lean4
Reservoir metadata only · declarations not indexed
- Versions
- 2
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- MIT
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
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
josephmckinsey/flean
flean
Floating point numbers in lean. A replacement of Mathlib.Data.FP
Reservoir metadata only · declarations not indexed
- Versions
- 4
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
kmill/LeanTeX_Mathlib
LeanTeX_Mathlib
LeanTeX pretty printers for mathlib
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Lean-zh/protobuf
protobuf
protobuf implementation for Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
objectionary/phi-confluence
phi-confluence
Proof of 𝜑-calculus confluence in Lean4
Reservoir metadata only · declarations not indexed
- Versions
- 2
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
oliver-butterley/SpectralThm
SpectralThm
Ongoing project to formalise The Spectral Theorem in Lean prover
Reservoir metadata only · declarations not indexed
- Versions
- 7
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
rah4927/lean-dojo-mew
lean-dojo-mew
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
runbikeswim/lean-semver
lean-semver
Semantic Versioning in Lean4
Reservoir metadata only · declarations not indexed
- Versions
- 4
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Seasawher/mk-exercise
mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
Reservoir metadata only · declarations not indexed
- Versions
- 9
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- MIT
Reservoir observed an exact-toolchain build. Therefore did not run this build.
siddhartha-gadgil/Polylean
Polylean
No package description is available.
Reservoir metadata only · declarations not indexed
- Versions
- 3
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- Apache-2.0
Reservoir observed an exact-toolchain build. Therefore did not run this build.
vasnesterov/HadwigerNelson
HadwigerNelson
Hadwiger-Nelson Problem Formalization in Lean 4
Reservoir metadata only · declarations not indexed
- Versions
- 1
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- Apache-2.0
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
Verified-zkEVM/PolyFun
PolyFun
Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
Reservoir metadata only · declarations not indexed
- Versions
- 4
- Declarations
- Not indexed
- GitHub stars
- 8
- License
- Apache-2.0