[console_scripts]
proofnest = proofnest.cli:main
