Publikace na Matematicko-fyzikální fakulta |
2006
Abstrakt
Od verze 7.2 systém Mizar produkuje poměrně detailní sémantické popisy založené na XML z Mizarovských článků v průběhu jejich verifikace. Tento článek stručně popisuje tento XML formát a jeho současnou implementaci a ukazuje příklady jejího použití.