code wiki / mizar
topic: mizar
5 modules sharing the mizar name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_mizar_dir_ingest.nx | ingest every Mizar decl in the corpus | 68 | 1 |
| nx_mizar_ingest.nx | ingest Mizar .miz theorem-level statements (M0). | 233 | 7 |
| nx_mizar_ingest_test.nx | smoke for Mizar M0 statement parser. | 29 | 1 |
| nx_mizar_stream_ingest.nx | Mizar parser -> 5-defense runner. | 110 | 6 |
| nx_mizar_stream_ingest_test.nx | Mizar parser -> defense stack. | 48 | 1 |