Re: Compiling Axiom on Debian 9

In theory you should just be able to do:
   sudo apt-get install axiom

If that fails, use docker:
   docker pull daly/axiom
   docker run -i -t daly/axiom axiom

The Axiom project is currently focused on proving the
algorithms correct. Great progress is being made but it
is not ready to be open-sourced.

Tim