The QED Manifesto

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

The QED Manifesto

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

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