[console_scripts]
proofrag = proofrag.cli:main
