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