[console_scripts]
proofcheck = proofcheck.cli:main
