[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.
Tim