Which CAS to Choose?

--===============7229905935191174468==
Content-Type: multipart/alternative; boundary="001a11420bb2011b830556d2050f"

--001a11420bb2011b830556d2050f
Content-Type: text/plain; charset="UTF-8"

Hi, new to Axiom. Looks wonderful! However, there are 3 of them. (axiom,
fricas, openaxiom)

Is there still development being done with Axiom?

Watched 2 great videos from Tim D. Would like to help out, if basics make
any sense?
But, seems Axiom perhaps locked? into program proving.


-- 
---
From GR's Mobile Gmail

--001a11420bb2011b830556d2050f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div>Hi, new to Axiom. Looks wonderful! However,=
 there are 3 of them. (axiom, fricas, openaxiom)<br><br></div>Is there stil=
l development being done with Axiom?<br><br></div>Watched 2 great videos fr=
om Tim D. Would like to help out, if basics make any sense?<br></div>But, s=
eems Axiom perhaps locked? into program proving.<br clear=3D"all"><div><div=
><div><div><br></div><div><br>-- <br><div class=3D"gmail_signature" data-sm=
artmail=3D"gmail_signature"><div dir=3D"ltr">---<div>From GR&#39;s Mobile G=
mail</div></div></div>
</div></div></div></div></div>

--001a11420bb2011b830556d2050f--


--===============7229905935191174468==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Axiom-mail mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-mail

--===============7229905935191174468==--