[console_scripts]
provers = provers.__main__:run

