lean-laas-cli

Command-Line Interface for Lean LaaS