**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean. - View it on GitHub