The QED Manifesto

Tim Daly <[email protected]> Sat, 22 Dec 2018 17:14:35 -0500

Newsgroups	gmane.comp.mathematics.axiom.devel
Message-ID	<CAJn5L=K+tkAV2=9nVtN6yTnoFHp1z+tt1mWRmAy_of2TO22rOA@mail.gmail.com>

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