[console_scripts]
proofstep = proofstep_cli.main:app
