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
konne88/functorio
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
FormalizedFormalLogic/Foundation
Formalization of Mathematical Logic
Reservoir metadata only · declarations not indexed
ImperialCollegeLondon/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
opencompl/SSA
A minimal development of SSA theory
Reservoir metadata only · declarations not indexed
dwrensha/compfiles
Catalog Of Math Problems Formalized In Lean
Reservoir metadata only · declarations not indexed
leanprover-community/proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/REPL
A simple REPL for Lean 4, returning information about errors and sorries.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
cmu-l3/llmlean
LLMs + Lean, on your laptop or in the cloud
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
strata-org/Strata
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
leanprover-community/iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Reservoir metadata only · declarations not indexed
digama0/lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.