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
Happyves/LeanGrowAlpha
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
Happyves/workshop
Repo for the first BerLean workshop.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
hargoniX/mini-redis
An implementation of mini-redis in Lean 4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
henryrobbins/flare
Official implementation of "FLARE: Verifying MILP Reformulations with LLM-Based Formal Proof Synthesis"
Reservoir metadata only · declarations not indexed
hhu-adam/webeditor
Helper tool for projects run in lean4web
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build failure. Therefore did not run this build.
igrep/test
SF.lean勉強会でigrepが書いたコードの記録
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
imbrem/discretion
Utilities for formalizing programming languages in Lean 4, along with other tidbits
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
JamesGallicchio/lean-openapi
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
JobPetrovcic/ArtinWedderburn
A formalized proof of Artin-Wedderburn theorem in Lean4
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
khanukov/pnp3
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
kim-em/lean-finmap
No package description is available.
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.
kmill/msri2023_graphs
Repository for graph theory & combinatorics group at the MSRI Lean summer school
Reservoir metadata only · declarations not indexed
Reservoir observed an exact-toolchain build. Therefore did not run this build.