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
Timeroot/quantumInfo
Quantum information theory in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
chasenorman/Canonical
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
eric-wieser/matrix_cookbook
The matrix cookbook, proved in the Lean theorem prover
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Verified-zkEVM/VCVio
A Lean library for machine-checked cryptographic proofs.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
frenzymath/jixia
A static analysis tool for Lean 4.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
b-mehta/FormalisingMathematics2026
Course notes for Formalising Mathematics 2026
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover/verso-manual
The Lean reference manual
Reservoir metadata only · declarations not indexed
sdiehl/ZeroToQED
From Zero to QED: An informal introduction to formality with Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
google-deepmind/debate
Formalizing stochastic doubly-efficient debate
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
siddhartha-gadgil/leanaide
Tools based on AI for helping with Lean 4
Reservoir metadata only · declarations not indexed
leanprover-community/Duper
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover/Cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.