Pinned Reservoir catalog

Lean packages and dependencies

Search package metadata by name, description, keyword, license, toolchain, or dependency name. Proof-indexed projects connect to their exact Therefore declaration records.

Package records are ecosystem metadata. Build evidence appears only when Reservoir observed the exact revision and toolchain.

782 packages

782 packages pinned from Reservoir

JJYYY-JJY/NormalForms

NormalForms

Executable Hermite and Smith Normal Forms in Lean 4 over Euclidean Domains, with a PID bridge to mathlib.

Reservoir metadata only · declarations not indexed

Versions: 2
Declarations: Not indexed
GitHub stars: 1
License: Apache-2.0

Reservoir observed an exact-toolchain build. Therefore did not run this build.

pitmonticone/NewProject

NewProject

No package description is available.

Reservoir metadata only · declarations not indexed

Versions: 1
Declarations: Not indexed
GitHub stars: 1
License: Apache-2.0

Reservoir observed an exact-toolchain build. Therefore did not run this build.