The Mizar Mathematical Library in OMDoc: Translation and Applications
Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef UrbanVolume:
50
Language:
english
DOI:
10.1007/s10817-012-9271-4
Date:
February, 2013
File:
PDF, 469 KB
english, 2013