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
NyxFoundation/TopSingleLayer
Formal Verification of Top Single Layer Encoding
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
riccardobrasca/lFTCM2024
Repository for the conference LFTCM2024
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Seasawher/Lean Book
mdbook template for Lean project
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
WuProver/MonomialOrderedPolynomial
Monomial ordered polynomial implementation in Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
YellPika/quasi-borel-spaces
A formalization of Quasi-Borel Spaces in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ahhwuhu/Zeta3Irrational
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
alok/lean-inf
Levi-Civita field implementation in Lean 4 for computing with infinities and infinitesimals.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
chrisflav/proetale
Proétale cohomology in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
DavePearce/LeanEVM
A toy implementation of the EVM in Lean4.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
ecyrbe/lean-units
lean physical unit system, SI international
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
fplaunchpad/sal
Multimodal verification of Replicated Data Types in Lean
Reservoir metadata only · declarations not indexed
gdncc/cryptography
Lean 4 programming language and theorem prover cryptography experiments
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.