Skip to content

Mizar article

Writable

text

file format

Identify it

Extensions	`.miz`
MIME types	`text/mizar`
Signatures	`656e7669726f6e` at byte 0
Wikidata	`Q105863136`

Not sure your file is this? Identify it from its first bytes, in your browser.

Open it

MizarOpen sourcereads and writes · GNU General Public License, version 3.0

Convert it

No conversion recorded. One of the tools above may export it; search for a chain.

Sources

Wikidata Q105863136

From Wikidata. Updated 2026-10-20.

Improve this record JSON