[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Compiling Axiom on Debian 9

From: Tim Daly
Subject: Re: [Axiom-developer] Compiling Axiom on Debian 9
Date: Sat, 15 Dec 2018 13:36:42 -0500

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]