[console_scripts]
proofrag = proofrag.cli:app
