rjra2611 / lean-cli

CLI for running the LEAN engine locally and in the cloud

https://www.lean.io/cli

Geek Repo

Github PK Tool