[console_scripts]
proofbench = provelab.cli:main
provelab = provelab.cli:main
