axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] The QED Manifesto


From: Tim Daly
Subject: [Axiom-developer] The QED Manifesto
Date: Sat, 22 Dec 2018 17:14:35 -0500

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]