[console_scripts]
proofx = proofx:main
