[console_scripts]
prooflab = prooflab.cli:main
