Renaud, Your lip6 email address bounces.
I'm spending some time on proving Axiom's algorithms, most likely using Coq. I ran across one of your papers on the FOC project. Can you tell me the current state of FOC, where I might find papers related to proving Axiom, and where, if any, FOC code is published? Tim Daly _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
