lean

click the source code to copy install lean on any operating system with command-not-found.com