lean-cli

Python ★ 319 updated 20d ago

CLI for running the LEAN engine locally and in the cloud

No plain-English explanation yet — one is being written right now. Check back in a minute.