CLI for running the LEAN engine locally and in the cloud
-
Updated
Nov 22, 2024 - Python
CLI for running the LEAN engine locally and in the cloud
Add a description, image, and links to the lean-data topic page so that developers can more easily learn about it.
To associate your repository with the lean-data topic, visit your repo's landing page and select "manage topics."