leanprover / lake

**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
99Updated last year

Alternatives and similar repositories for lake:

Users that are interested in lake are comparing it to the libraries listed below