[console_scripts]
lean-run = lean_runtime.run_cli:main
lean-runtime = lean_runtime.cli:main
