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
SamuelSchlesinger/shannon-entropy
A formalization of Shannon's seminal 1948 paper defining entropy.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
sorrachai/FAA2025
This is the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
tydeu/partax
Lean 4 library of tools for parsing and compiling syntax and parser definitions.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ammkrn/timelib
A date and time library for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
apnelson1/Matroid
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
artie2000/real-closed-field
Formalisation of the theory of real closed fields in Lean 4.
Reservoir metadata only · declarations not indexed
AxiomMath/Deadends
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
etheorem/Etheorem
A Lean 4 implementation of the Ethereum consensus specification for the Fulu and Gloas forks.
Reservoir metadata only · declarations not indexed
FWuermse/Postgres
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
hargoniX/leanwuzla
Connecting bv_decide to SMTLIB.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
jsm28/AM
Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
palladin/lean_reducers
Parallel, fused reducers for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.