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
Mathias-Stout/many-sorted-model-theory
A lean repository for building many-sorted logic, with a view towards model theory of valued fields
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
proofs-and-programs/PfsProgs25
Code for the course "Proofs and Programs", January 2025, IISc
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
schergen-org/leansi
Leansi is a Lean Library for terminal formatting.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
YaelDillies/Toric
Formalisation of toric varieties in Lean 4
Reservoir metadata only · declarations not indexed
YnirPaz/PCF
A formalization of PCF theory in lean
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
0art0/kimina
A Lean tactic that invokes the Kimina Prover Preview model to offer proof suggestions.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
AeneasVerif/tutorial
Aeneas tutorial for ICFP
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
amarmaduke/lean-subst
Lean4 library for substitution inspired by autosubst
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
aochagavia/tic-tac-toe
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
arthurpaulino/viper
A Python environment manager built in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
b-mehta/PrimeCert
Formal prime certificates in Lean 4
Reservoir metadata only · declarations not indexed
BRonen/sqlite
Sqlite3 bindings for lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.