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
FormalizedFormalLogic/arithmetization
Formalization of Arithmetization of Mathematics/Metamathematics
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
google-deepmind/minif2f
A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
NethermindEth/risczero-fv
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
pitmonticone/LeanInVienna
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
rupakm/leslie
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
sven-manthe/borel_det
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
acmepjz/Iwasawalib
Formalization of Iwasawa Theory in LꓱꓯN (tentative)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
Beneficial-AI-Foundation/Curve25519Dalek
Verifying curve25519-dalek using Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
ejgallego/implab
Lean playground for programming language modeling tooling.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
GasStationManager/CodeProofTheArena
Lean coding problem solving challenge website with proof verification
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
goens/lost-pop-lean
POP Memory Model in Lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
hargoniX/cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.