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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer