[console_scripts]
ax-prover = ax_prover.main:main
