GitHub repository: mrcghil/lean-cli
Primary language: Python
Description: CLI for running the LEAN engine locally and in the cloud