I'm Tim Daly, Lead developer on the Axiom computer algebra system. I'm reading the paper "Verified Computer Algebra in ACL2". Is the code available somewhere? I'd like to reproduce the result and understand the details.
Tim Daly http://daly.axiom-developer.org _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer