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
Alektronnik/Quantum4Lean
Verified quantum computing in Lean 4 with FFI bridge to Apple Silicon (Metal 3). Full NISQ stack, dependent types, formal circuit verification, and mathematical translators to Hamiltonians for autonomous AI.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Antoine-dSG/frieze_patterns
A project to formalise Coxeter's frieze patterns
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
anurudhp/aoc2022
Advent of Code 2022 solutions: Lean4
Reservoir metadata only · declarations not indexed
arademaker/bignum
port of s2n-bignum to Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
argumentcomputer/Straume
State-of-the-art streams for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
AxiomMath/PartialRegularity
Lean formalizations for the paper "Almost all primes are partially regular"
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
bergmannjg/time
Port of the haskell time library to Lean 4 and verification of date calculations
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Bergschaf/LeanBanachTarski
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
DhyeyMavani2003/chip-firing-with-lean
A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Dominique-Lawson/lean_4
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ecyrbe/lean-redis
full featured async redis client for lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
elazarg/GameTheory
Formalization of Game Theory in Lean4
Reservoir metadata only · declarations not indexed