[Axiom-developer] The QED Manifesto

[Tim Daly]

Computerized Mathematics
http://www.cs.ru.nl/~freek/qed/qed.html

_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer