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
bjoernkjoshanssen/math654
Homework and lecture notes from Math 654, Fall 2022
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
CarlKCarlK/RangeSetBlaze
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
cavargar/SHSLib
Stochastic Hybrid Systems core definitions formalized in Lean
Reservoir metadata only · declarations not indexed
chantakan/lean4-project
A minimal Lean 4 development environment using VSCode DevContainer.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
chords-project/itc-course
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
chrisflav/db
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
compiler64/Monad
Notes for the category theory class I'm teaching at MIT (Jan 2026)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
datokrat/Iterator
In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
edwin1729/bppl
Probabilistic Separation Logic
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
frenzymath/FATE-H
The FATE-H (Formal Algebra Theorem Evaluation-Hard) benchmark.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
functionally/Crypto
Implementation of various cryptographic functions in Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Geoc2022/Game
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.