[console_scripts]
proofpgs = proofpgs.cli:main
