[console_scripts]
axiompro = axiompro.axiom:main
