lean-cli

Python ★ 316 updated 11d 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.