lean

Install

All systems
curl cmd.cat/lean.sh
OS X
brew install lean-cli

lean-cli