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
ruplet/BoundedArithmetic
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
siddhartha-gadgil/LeanLangur
Expositions and demos for Lean Prover
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
solana-foundation/solanalib
⚠️ Experimental | Prototype
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
tani/LiterateLean
literate programming for lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
YaelDillies/GibbsMeasure
ASCI Summer Research Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
adamtopaz/NodeGraph
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
algebraic-dev/Parse
🧩 | Parser generation for Lean 4.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ammkrn/printiest
A pretty printer for Lean 4
Reservoir metadata only · declarations not indexed
argumentcomputer/Lurk.lean
A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
argumentcomputer/YatimaStdLib
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
arthurpaulino/LeanMusic
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Beneficial-AI-Foundation/PQXDH-lean
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.