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
siddhartha-gadgil/saturn
Experiments with SAT solvers with proofs in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
hanwenzhu/LeanArchitect
LeanArchitect extracts a blueprint directly from Lean source.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/tutorials4
Lean 4 tutorial files
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
kim-em/lean-training-data
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/flt-regular
Fermat's Last Theorem for regular primes
Reservoir metadata only · declarations not indexed
math-inc/FrontierMathOpenHypergraphs
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
jessealama/thales
TypeScript compiler and JavaScript engine in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
RemyDegenne/BrownianMotion
Construction of a Brownian Motion in Lean
Reservoir metadata only · declarations not indexed
leanprover/LeanSAT
This package provides an interface and foundation for verified SAT reasoning
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lean-dojo/problems
Formalization of the Millennium Problems in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
algebraic-dev/Http
🌐 | HTTP primitives for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
ShangtongZhang/RL-Theory
Towards Formalizing RL Theory
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.