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
ocfnash/lie-classification
Classification of Lie algebras in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
paulcadman/flappy
A flappy bird clone in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
paulcadman/lean-effects
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
pimpale/LLM.lean
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
riccardobrasca/Kaplansky4
Proof of Kaplanski criterion for being a UFD in Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
RobertoZunino/ITP_course
An Interactive Theorem Proving course with Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
SamuelSchlesinger/complexitylib
Formalization of complexity theory
Reservoir metadata only · declarations not indexed
SamuelSchlesinger/sensitivity
Lean 4 formalization of the Sensitivity Conjecture (Huang 2019)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
shosonoda/lean-math-note
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Shreyas4991/DGAlgorithms
Distributed Graph Algorithms in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
sorrachai/GraphLib
This is the repository for graph algorithm design.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
urkud/SardMoreira
Formalization of Moreira's version of Sard's Theorem
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.