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
mrdouglasny/HilleYosida
Lean 4 formalization of strongly continuous semigroups, Hille-Yosida theorem, and BCR Bochner semigroup-to-group extension
Reservoir metadata only · declarations not indexed
mrdouglasny/pphi2
Construction of phi^4_2 quantum field theory in Lean 4
Reservoir metadata only · declarations not indexed
mrdouglasny/SeibergWitten
The Seiberg-Witten solution of N=2 SU(2) super-Yang-Mills, formalized in Lean 4: physics as named postulates, machine-checked consequences, audited assumptions
Reservoir metadata only · declarations not indexed
nasqret/fineqs
Lean4 formalization with Artistotle of the arXiv paper 1906.11174
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
NathanHowell/argparse
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
NaveenMaurya749/VersionControl
A repository for participation in the LeanLang for Autonomy Hackathon held from April 17 to May 01, 2026 at Indian Institute of Science, organised by Emergence AI.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
NethermindEth/ff
Plonky3 formal verification framework
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
NethermindEth/sp1-poc
Proof-of-Concept Verification Infrastructure for SP1 zk chips
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
niklasmohrin/LeanSeminar
Construction of a flow equivalent forest from a flow matrix in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
PatrickMassot/checkdecls
Tiny Lean library to check existence of declarations
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
pawelsberg/LeanDirectoryBrowser
It is a windows folder explorer written in lean4 (using code-proxy).
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
pitmonticone/Hochster
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.