[console_scripts]
provers = provers.util:run

