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
leanprover/lean4checker
Replay the Environment for a given Lean module, ensuring that all declarations are accepted by the kernel.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
vihdzp/Rubik
Lean 4 formalization of Rubik's cubes
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
hhu-adam/Game
A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/LeanSearchClient
Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
PnVDiscord/software-foundations-lean
📚 (WIP) Rewriting Software Foundations in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
rkirov/category-theory-in-context-lean
Lean Companion to the Category Theory in Context textbook by Emily Riehl
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
GaloisInc/zkLeanEcosystem
zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
math-xmum/Gametheory
This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
model-checking/rust-lean-models
Lean models of Rust libraries
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
nomeata/calcify
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
WuProver/groebner
Formalization of Gröbner basis theory in Lean4 (WIP)
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
LeanMachineLearning/LeanMachineLearning
The Lean Machine Learning Library
Reservoir metadata only · declarations not indexed