lean-data topic
List
lean-data repositories
lean-cli
183
Stars
96
Forks
Watchers
CLI for running the LEAN engine locally and in the cloud
