[console_scripts]
proofrun = proofrun.cli:main
