[console_scripts]
openprover = openprover.cli:main
