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
hawkrobe/linglib
A Lean 4 library for formal linguistics: semantics, syntax, pragmatics, morphology, phonology, and processing - formalized across competing frameworks for high interconnection density.
Reservoir metadata only · declarations not indexed
hhu-adam/i18n
i18n library for Lean.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
input-output-hk/PlutusCore
Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage
Reservoir metadata only · declarations not indexed
knowsys/certifyingDatalog
A certified checker for Datalog entailments, written in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lecopivo/lean4-karray
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
oOo0oOo/LeanSage
SageMath integration for Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
RemyDegenne/testing_lower_bounds
Information theory and hypothesis testing, in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
riccardobrasca/Numbers
An introduction to numbers
Reservoir metadata only · declarations not indexed
stat-lib/Statlib
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
a2435191/logic-formalization
Formalize "Logic Notes" by Lou van den Dries in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
acmepjz/MD4Lean
a Lean wrapper for the MD4C Markdown parser
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ah1112/synthetic_euclid_4
No package description is available.
Reservoir metadata only · declarations not indexed