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 _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
