Mizar article (with rem)
Writabletext
file format
Identify it
| Extensions | .miz |
|---|---|
| MIME types | text/mizar |
| Signatures | 3a3a at byte 0 |
| Wikidata | Q105863947 |
Not sure your file is this? Identify it from its first bytes, in your browser.
Open it
- MizarOpen source
Convert it
No conversion recorded. One of the tools above may export it; search for a chain.
Sources
From Wikidata. Updated 2026-10-20.