/lean-cli

CLI for running the LEAN engine locally and in the cloud

Primary LanguagePythonApache License 2.0Apache-2.0

Watchers