[console_scripts]
lean-sdd = lean_sdd.cli:main
