Reservoir is #LeanLang's package registry, inspired by crates.io (thanks @rustfoundation.org!) Browse community-created packages and discover new tools: reservoir.lean-lang.org

Sharing is easy! GitHub repos meeting the inclusion criteria are auto-indexed: reservoir.lean-lang.org/inclusion-cr...

Reservoir: More than a package registry - it's a leap forward in managing #LeanLang's ecosystem: Beyond storage to comprehensive compatibility and development. Our cloud build cache is live, preliminary private packages support is here, and FFI improvements are on the way.

➡️ reservoir.lean-lang.org

Did you know the Info View in #LeanLang's #VSCode extension updates in real-time as you write proofs? Click on any part of your code to see the current proof state, goals, and hypotheses at that exact point.

Learn more about the Lean VS Code extension: github.com/leanprover/v...