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
mathlib-initiative/lean_scout
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
mdbrnowski/Apportionmentlib
Formal verification of apportionment theory.
Reservoir metadata only · declarations not indexed
metamatematico/metamath_prover
Demostrador de enunciados matemáticos con base Lean
Reservoir metadata only · declarations not indexed
MohanadAhmed/LeanMathSigProc
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
morganfshirley/CommComp
Formalization of communication complexity in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
mrdouglasny/BochnerMinlos
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
mrdouglasny/MarkovSemigroups
Markov semigroups, functional inequalities, and convergence to equilibrium in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
namin/climber
LCF checks theorem construction; climber checks theory construction
Reservoir metadata only · declarations not indexed
namin/reviser
LCF checks theorem construction; reviser checks belief revision
Reservoir metadata only · declarations not indexed
nomeata/memo-nat
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
npflueger/demazure
Demazure products and ASP permutations
Reservoir metadata only · declarations not indexed
optimisticexquisite/lean-rsa-project
A lean project on RSA encryption
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.