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

pangenome/povu_lean

povu_lean

A toolkit for exploring regions of variation in pangenomes

Reservoir metadata only · declarations not indexed

Versions
2
Declarations
Not indexed
GitHub stars
15
License
MIT

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

ProofOfKeags/btc-verified

btc-verified

Verified Bitcoin protocol components in Lean 4 - serialization, txids, and merkle commitments checked against real mainnet blocks.

Reservoir metadata only · declarations not indexed

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

RemyDegenne/clt

clt

Central limit theorem in Lean

Reservoir metadata only · declarations not indexed

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

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

Shreyas4991/Algolean

Algolean

Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"

Reservoir metadata only · declarations not indexed

Versions
7
Declarations
Not indexed
GitHub stars
15
License
Apache-2.0

tydeu/itertools

itertools

A Lean 4 library for iterators.

Reservoir metadata only · declarations not indexed

Versions
1
Declarations
Not indexed
GitHub stars
15
License
MIT

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

andrejbauer/partial-combinatory-algebras

partial-combinatory-algebras

A Lean 4 formalization of partial combinatory algebras.

Reservoir metadata only · declarations not indexed

Versions
1
Declarations
Not indexed
GitHub stars
14
License
MIT

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

arademaker/fad

fad

Functional Algorithms Design

Reservoir metadata only · declarations not indexed

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

argumentcomputer/FFaCiL.lean

FFaCiL.lean

Finite Fields and Curves in Lean

Reservoir metadata only · declarations not indexed

Versions
1
Declarations
Not indexed
GitHub stars
14
License
MIT

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

arthurpaulino/LeanREPL

LeanREPL

No package description is available.

Reservoir metadata only · declarations not indexed

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

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

bergmannjg/Curl

Curl

Lean 4 bindings to libcurl

Reservoir metadata only · declarations not indexed

Versions
9
Declarations
Not indexed
GitHub stars
14
License
MIT

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

Clap-lang/clap

clap

Implementation of the Clap language for ZK Circuits in the Lean proof-assistant

Reservoir metadata only · declarations not indexed

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

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

eshelyaron/bdd

bdd

Binary Decision Diagrams in Lean 4

Reservoir metadata only · declarations not indexed

Versions
2
Declarations
Not indexed
GitHub stars
14
License
Apache-2.0

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