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
verse-lab/lentil
(at least a useful portion of) Temporal Logic of Actions, a.k.a. TLA in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/llm
Interfacing with Large Language Models (remote and local) from Lean.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Verilean/Hesper
Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build provably correct GPU compute and ML inference engines.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
leanprover/lean-eval
Comparator-based Lean formal mathematics eval
Reservoir metadata only · declarations not indexed
madvorak/readLean
How to read Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
sciencraft/LeanCat
Lean4 benchmark on 1 category.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Beneficial-AI-Foundation/Vericoding
tools and benchmarks for verified coding
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
funexists/raylean
Lean4 bindings for raylib
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
Seasawher/mathlib4-help
List of the output of #help command of mathlib4, including list of all tactics, commands...etc
Reservoir metadata only · declarations not indexed
T-Brick/lean2wasm
Tool for compiling Lean to WASM
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
0art0/lean-slides
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
girving/interval
Conservative floating point interval arithmetic in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.