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
pitmonticone/QuadraticIntegers
Formalising the Ring of Integers in Quadratic Fields in the Lean proof assistant.
Reservoir metadata only · declarations not indexed
Project-Navi/CdFormal
Lean 4 + Mathlib formalization of the Creative Determinant framework - 15 theorems proved with zero sorry, CI-enforced via lake build --wfail
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
QDU-Math-in-lean/mathmatic_in_elementary_number_th
elementary number theory
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
qualgebra/LeanToolkit
A set of tools and extensions for Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
QudeLeap/QuantumAlg
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
RikHeurter/BscThesisFormalisation
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
RSoulatIOHK/Pigment
Terminal colors and styling for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
shunghsiyu/toy-verifier
Minimal static analysis based verifier for educational purpose
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
siddhartha-gadgil/LeanAideTools
Tools, specifically for running tactics in the background, with minimal dependencies
Reservoir metadata only · declarations not indexed
singerng/steinberg
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
smmercuri/adele-ring_locally-compact
The proof that the adele ring of a number field is locally compact, formalised in Lean 4.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
SrGaabriel/leaner
🪶 | A linter, formatter and whole-program dead code eliminator for Lean 4
Reservoir metadata only · declarations not indexed