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
ValorZard/lean-sdl-test
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
varosi/bitmap
Lean 4 bitmap utilities with PNG encode/decode support, plus a small widget for visualization.
Reservoir metadata only · declarations not indexed
willvieira/ForestIPM
📦 R package - Bayesian hierarchical Integral Projection Model (IPM) for forest trees in eastern North America
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
YaelDillies/ChandraFurstLipton
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
yezhuoyang/FormalRV
Formal resource verification of Shor's algorithm.
Reservoir metadata only · declarations not indexed
zer0-star/ac-library
ac-library for lean4
Reservoir metadata only · declarations not indexed
1a776/mathmatic_in_elementary_number_th
IMO题目的形式化2个题
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
adambornemann-glitch/Logos_Library
Lean verified Science.
Reservoir metadata only · declarations not indexed
AdrienChampion/loadTerms
Testing dynamic term loading in Lean 4.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
AdrienChampion/safeIdx
Type-safe indexing library.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
AlexBrodbelt/Game
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
alexjgreig/Quave
Quantum Hoare Logic Lean 4 - A quantum program verification tool
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.