No. Axiom is alive and well and being developed.
I am changing Axiom but not posting changes until
they reach a "release" version.
The new Axiom uses common lisp rather than Spad,
has a much richer "scaffold" of inheritance, and integrates
Lean-style logic for program proof.
I know from my prior
Hello !
On Mon, 2023-02-13 at 14:42 -0500, Tim Daly wrote:
> You'll notice that I've stopped updating the Axiom source tree.
> I thought FOSS development was a great idea when I started
> in 1997. The Axiom effort has convinced me otherwise.
> I've stopped working in "open source".
Is it so that
