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
dupuisf/BibtexQuery
A simple command-line bibtex query utility written in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ejgallego/beam
Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
Reservoir metadata only · declarations not indexed
GasStationManager/ArtificialAlgorithms
Verified algorithms in Lean, implemented and proved by AIs
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ImperialCollegeLondon/M1F-explained
A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
JoshuaPurtell/lithe
simple web service in lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
kebekus/VD
Formalizing Value Distribution Theory
Reservoir metadata only · declarations not indexed
leanprover/leanbv
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
leanprover/LeroyCompilerVerificationCourse
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
math-inc/FormalQualBench
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
matthunz/circuitlib
A digital circuit verification library for Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
mhuisi/Uniq
Static Uniqueness Analysis for the Lean 4 Theorem Prover
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
NethermindEth/FVIntmax
Formal verification of the Intmax protocol in Lean.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.