[console_scripts]
proofframe=proofframe.cli:main
