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
fpvandoorn/HausdorffSchoolLean
Repository for the September 2023 Hausdorff School on Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
hgoldstein95/palamedes
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
jtristan/UnicodeSkipListTable
A library to create and use Unicode tables based on the skip list data structure.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
jtristan/UnicodeSkipListTableExample
A library that shows how to use the Unicode skip list tables generation tool to create a table to test if a codepoint is numeric.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
KislyjKisel/pod
Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
kkytola/VirasoroProject
Lean project on the Virasoro algebra (2-cohomology of the Witt algebra, definition of the Virasoro algebra, ...)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
Koukyosyumei/runwai_project
COMS 6998 (Fall 2025): Refinement-typed DSL for certified AIR constraints and lookups
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
lean-machines-central/lean-machines-examples
Example specifications for the Lean Machines modelling framework
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
lf-lang/reactor-model
A Lean-based formalization of the Reactor model.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
Maokami/vqc_in_lean
(WIP) Lean 4 port of the Verified Quantum Computing. Developed as a personal learning project to deepen understanding of quantum computing concepts and formal verification.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
marozols/CliffordProject
Lean formalization of the structure theorem for the single-qudit Clifford group
Reservoir metadata only · declarations not indexed
MichaelStollBayreuth/Weights
Formalization in Lean4 of some results in "Minimization of hypersurfaces" by A.-S. Elsenhans and myself
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.