leanprover/lake

This is stars and forks stats for /leanprover/lake repository. As of 27 Apr, 2024 this repository has 95 stars and 20 forks.

Lake Lake (Lean Make) is a new build system and package manager for Lean 4. With Lake, the package's configuration is written in Lean inside a dedicated lakefile.lean stored in the root of the package's directory. Each lakefile.lean includes a package declaration (akin to main) which defines the package's basic configuration. It also typically includes build configurations for different targets (e.g., Lean libraries and binary executables) and Lean scripts to run on the command line (via lake script...