[console_scripts]
proofcli = proofcli.cli:main
