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
tdzl2003/geometry
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
themathqueen/Monlib
Formalising non-commutative graph theory in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
tsurumi-yizhou/SPG
A Lean 4 library for analyzing Spin Point Groups
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
umpolungfish/imscrbgrmr-lean
A 12-primitive measurement apparatus for the structural type of any system - 17,280,000-address Crystal of Types
Reservoir metadata only · declarations not indexed
UOR-Foundation/uor-ffi
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
vikraman/event-structures
Formalisation of some facts about event structures and reversibility
Reservoir metadata only · declarations not indexed
Xiyou-Wu/RiemannianGeometry
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
YaelDillies/ForbiddenMatrix
Formalisation of forbidden matrix theory
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
YijunYuan/HarderNarasimhan
Formalization of Harder-Narasimhan theory
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
zksecurity/sigma
Formal verification of knowledge soundness for Generalized Bulletproofs
Reservoir metadata only · declarations not indexed
AfonsoBitoque/LeanServer
Verified HTTPS server in Lean 4 - TLS 1.3, HTTP/2, QUIC, WebSocket, gRPC - 914 machine-checked theorems, zero sorry. Pure library available (LeanServerPure).
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
alma-n/Game
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.