[isabelle] "The QED Project"



Hello Everybody.

Mizar has a large mathematical knowledge base.
http://www.mizar.org/

Apart from other requirements (distributed), its mathematical knowledge, being 
accumulated for more than two decades,  is really impressive.

Regards
Andrzej Mazurkiewicz





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.