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
_______________________________________________ Axiom-mail mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-mail
