[console_scripts]
proofline = proofline.runtime:main
