[console_scripts]
leanproject = mathlibtools.leanproject:safe_cli

