therefore
Sign up
Open navigation

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

hargoniX/Flame

Flame

No package description is available.

Reservoir metadata only · declarations not indexed

Versions
1
Declarations
Not indexed
GitHub stars
10
License
MIT

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

ISTA-PLV/Coinductive

Coinductive

Co-inductive datatypes for Lean

Reservoir metadata only · declarations not indexed

Versions
1
Declarations
Not indexed
GitHub stars
10
License
BSD-3-Clause

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

katydid/sadol

sadol

Symbolic and Automatic Differentiation of Languages in Lean

Reservoir metadata only · declarations not indexed

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

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

knowsys/FormaleSystemeInLean

FormaleSystemeInLean

LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)

Reservoir metadata only · declarations not indexed

Versions
5
Declarations
Not indexed
GitHub stars
10
License
Apache-2.0

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

lecopivo/leanblas

leanblas

Bindings and specification for BLAS

Reservoir metadata only · declarations not indexed

Versions
16
Declarations
Not indexed
GitHub stars
10
License
Apache-2.0

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

madvorak/vcsp

vcsp

General-Valued Constraint Satisfaction Problems

Reservoir metadata only · declarations not indexed

Versions
13
Declarations
Not indexed
GitHub stars
10
License
Apache-2.0

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

NethermindEth/CompPoly

CompPoly

No package description is available.

Reservoir metadata only · declarations not indexed

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

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

or4nge19/NeuralNetworks

NeuralNetworks

Formalization of Neural Networks in Lean 4

Reservoir metadata only · declarations not indexed

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

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

PierreSenellart/provenance

provenance

Lean4 formalization of some provenance notions

Reservoir metadata only · declarations not indexed

Versions
1
Declarations
Not indexed
GitHub stars
10
License
MIT

pnwamk/lean4-assert-command

lean4-assert-command

A simple assertion command for Lean4

Reservoir metadata only · declarations not indexed

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

powdr-labs/apc-optimizer

apc-optimizer

No package description is available.

Reservoir metadata only · declarations not indexed

Versions
1
Declarations
Not indexed
GitHub stars
10
License
MIT

RemyDegenne/kolmogorov_extension4

kolmogorov_extension4

Lean formalization of the Kolmogorov extension theorem

Reservoir metadata only · declarations not indexed

Versions
3
Declarations
Not indexed
GitHub stars
10
License
Apache-2.0

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