[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"G1nsUPalgm":3},"# 🪶 leaner\n\nA linter, formatter and whole-program dead code eliminator for Lean 4.\n\n# Installation\n\nFreshly built versions of leaner are available on GitHub releases. You can download the latest release from [here](https://github.com/SrGaabriel/leaner/releases).\n\nAlternatively, you can build and install leaner from source using the following commands:\n\n```bash\ngit clone https://github.com/SrGaabriel/leaner.git\ncd leaner\nlake build\nlake run install\n```\n\n> [!NOTE]\n> 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.\n",1783784692253]