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
PeterKementzey/Graph
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
JulsDE/MRiscX
A certified RISC-V Interpreter with Hoare-logic in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover/SHerLOC
A StableHLO analyzer in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lindy-labs/aegis
Verify Cairo contracts in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
LionSR/TNLean
Lean 4 formalization of the Fundamental Theorem of Matrix Product States (arXiv:2011.12127)
Reservoir metadata only · declarations not indexed
Luka-O/polya-enumeration-theorem
A Lean 4 formalization of Pólya enumeration theorem.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
oOo0oOo/LeanDoomed
Simple Raycasting Example in Lean4 using SDL3
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
arthurpaulino/LeanMySQL
A MySQL API for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
arthurpaulino/NumLean
A Lean 4 package for heavy numerical computations
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
auto-res/FoML
Lean Formalization of Generalization Error Bound by Rademacher Complexity
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
b-mehta/ABCExceptions
Exceptions to the ABC conjecture in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
bergmannjg/Regex
A PCRE2 compatible regular expression engine written in Lean 4.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.