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
LieLean/Lie
A classification theorem in Lean of solvable Lie algebras of dimension zero to three
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
madvorak/chomsky
Port https://github.com/madvorak/grammars/ to Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
MichaelStollBayreuth/EulerProducts
An attempt at formalizing facts on Euler products in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
mtoohey31/tabular-types
Proofs for Extensible Data Types with Ad-Hoc Polymorphism
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
nikhgarg/EconCSLib
AI-assisted Lean formalization for Economics and Computation research
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Philogy/remco-mul
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
predictable-machines/flow
Reactive streams library for Lean 4 - Flow, SharedFlow, StateFlow, ProgramFlow, and ReactiveProgram
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
remimimimimi/leansec
Total parser combinators library for Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
siddhartha-gadgil/pnP2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
typednotes/hale
Haskell-inspired libraries for Lean 4 with maximalist typing
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
WuProver/GroebnerTac
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
z-tech/sumcheck
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.