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
nielstron/langlib
Library for formal language theory in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
NUS-Math-Formalization/Game
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ojhermann-org/pacioli
A verified core of accounting mechanics in Lean 4, paired with curated accounting judgment in the Open Knowledge Format (OKF).
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
pandaman64/LeanToDo
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
parabamoghv/Symm
Formalization of a new data structure: Dashed-Monoids
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
predictable-machines/lean4-base64
RFC 4648 Base64 encoding and decoding for Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Project-Navi/OrdvecFormalization
Lean 4 formalization of finite Bayes-threshold optimality for OrdVec overlap models.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
riccardobrasca/SDG
Synthetic Differential Geometry in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
samuelborza/IsTranscendentalPi
Formalization in Lean of the transcendence of π.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Shilun-Allan-Li/tCSlib
Lean 4 Theoretical Computer Science Library
Reservoir metadata only · declarations not indexed
siddhartha-gadgil/LeanLion
Code for Singapore Workshop on Formal Proofs and Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
SorryDB/LeanUtils
Lean scripts for indexing sorries and verifying proofs
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.