[console_scripts]
proofkit = proofkit.cli:main
