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
leanprover-community/mil
The user home repository for the Mathematics in Lean tutorial.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.
Reservoir metadata only · declarations not indexed
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lecopivo/scilean
Scientific computing in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Reservoir metadata only · declarations not indexed
PatrickMassot/glimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/aesop
White-box automation for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover/verso
Lean documentation authoring tool
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/Game
Natural Number Game
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Verified-zkEVM/Arklib
Formally Verified Arguments of Knowledge in Lean
Reservoir metadata only · declarations not indexed
leanprover-community/lean4-metaprogramming-book
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ufmg-smite/smt
Tactics for discharging Lean goals into SMT solvers.
Reservoir metadata only · declarations not indexed