[console_scripts]
provers = provers.util:print_versions

