[console_scripts]
proofbench = proofbench.cli:main
