🪶 leaner

A linter, formatter and whole-program dead code eliminator for Lean 4.

Installation

Freshly built versions of leaner are available on GitHub releases. You can download the latest release from here.

Alternatively, you can build and install leaner from source using the following commands:

git clone https://github.com/SrGaabriel/leaner.git
cd leaner
lake build
lake run install

[!NOTE] On Windows, the release binaries are in a .zip file along with a .dll file. Make sure to extract both files and place them in the same directory.