|
| From: | daly |
| Subject: | [Axiom-developer] Library of Constructive Mathematics |
| Date: | Tue, 22 Jul 2014 14:53:34 -0500 |
One of the latest Axiom initiatives is trying to prove an Axiom algorithm correct. This is a site of interest. Constructive Coq Repository at Nijmegen http://http://corn.cs.ru.nl Tim
| [Prev in Thread] | Current Thread | [Next in Thread] |