[console_scripts]
leanlab = leanlab.cli:main
