[console_scripts]
leanproject = mathlibtools.leanproject:cli

