Skip to content

leanprover/reservoir

Repository files navigation

Reservoir

Reservoir is the package repository for Lean and Lake. It automatically indexes about the Lean repositories published on GitHub, builds them on new toolchain releases, and presents the results in organized form on the website.

Credits

Thank Yakov Pechersky for originally suggesting the name and Xubai Wang for his work on a similar project. The site's design is heavily inspired by Rust's crates.io and uses some open imagery: