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
alok/AsciiPlot
ASCII/Unicode plotting library for Lean 4 with legends and braille rendering
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
amellendijk/selbergSieve
A formalisation of the Selberg sieve in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
anlucia/chromatic_polynomial
Chromatic polynomial in Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
argumentcomputer/OpenSSL.lean
OpenSSL bindings for Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
argumentcomputer/Vero
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
Arthur742Ramos/Metatheory
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Command-Master/pseudorandom
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
etheorem/LeanSha256
Pure-Lean SHA-256 reference implementation: NIST CAVP-validated, kernel-reducible, no FFI.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
fgdorais/extra
Supplements to the Lean 4 Standard Library
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
formalproofs/mdplib
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
fpvandoorn/LogicColloquiumTutorial
The Lean tutorial for Logic Colloquium 2023
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
fpvandoorn/Seminar
Past contents of Lean Seminars in Bonn
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.