Pinned Reservoir catalog
Search package metadata by name, description, keyword, license, toolchain, or dependency name. Proof-indexed projects connect to their exact Therefore declaration records.
782 packages
782 packages pinned from Reservoir
KentBeck/BPlusTreeLean
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
KisaraBlue/ec-tate-lean
Elliptic curve algorithm verification project built on mathib4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
kkaunda/Project
Structure in Prime Gaps - Formalized
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lamafab/lamafab_algebra
No package description is available.
Reservoir metadata only · declarations not indexed
lambda-fairy/taleve
Formal model of stacker games in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lean-phys-community/Notes
Notes in PhysLean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover/versowebcomponents
A collection of reusable components from the Lean website designed build related sites with the same look and feel.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leansolving/CSP
No package description is available.
Reservoir metadata only · declarations not indexed
LeastAuthority/STIR
SC: Ethereum - zk(E)VM Verification - STIR Lean Blueprint
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lua-vr/BirkhoffErgodicThm
A proof of Pointwise Birkhoff Ergodic Theorem in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
manuelpuebla/amo-lean
No package description is available.
Reservoir metadata only · declarations not indexed
matematiflo/SumSq
Summing squares in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.