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/HexLuthor
Lean 4 hex color syntax with inline VS Code color preview
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
alok/lean-autograd
Automatic differentiation in Lean following JAX's autodidax tutorial
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
alok/LeanDidax2
Pedagogical autodiff library in Lean 4 with forward/reverse modes and vectorization
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
alok/Leantix
Lean 4 port of the Golitex typesetting system for LaTeX-like document processing
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
alok/MusicNotation
Pure functional music notation system in Lean 4 with Unicode visualization
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
alok/tetraGray
General-relativistic raytracer in Lean 4 with geometric algebra for black hole visualization
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
amarmaduke/lean-stlc
Lean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization
Reservoir metadata only · declarations not indexed
ammkrn/lean-url
URL library for lean4 based on the whatwg url standard
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
AmosNico/validator
Formally Verified Validator for Unsolvability Certificates for Automated Planning in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
argumentcomputer/Bellanova.lean
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
austinletson/use-lean-standard-action-with-bare-project
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
AxiomMath/PartitionPolynomial
Lean formalizations for the paper "Reciprocals of Partition Polynomials"
Reservoir metadata only · declarations not indexed