[console_scripts]
alephprover = alephprover.cli:main
