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
haskell-spec/haskell-spec
Formal specification of the Haskell Language Report
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
JamesGallicchio/leancolls
WIP collections library for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
marcusrossel/VerifiedCompiler
A toy example of a verified compiler.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
scottnarmstrong/DeGiorgi
Lean 4 formalization of De Giorgi-Nash-Moser theory
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
KislyjKisel/raylib
Raylib bindings for Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
mistralai/SafeVerify
Leanstral's fork of SafeVerify, which we use for code agent training and as part of our evaluation stack.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
rahul3613/proofNet-lean4
ProofNet dataset ported into Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
T-Brick/wasm
Formalising the WASM spec in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
girving/ray
Formalizing results about the Mandelbrot set in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ionathanch/MutualInduction
A mutual induction tactic for Lean 4.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lean-machines-central/lean-machines
a Lean4 framework for the modeling and refinement of stateful systems
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover/human-eval-lean
Hand-written verified Lean solutions for the HumanEval benchmark
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.