code wiki / theorem
topic: theorem
6 modules sharing the theorem name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_theorem_card.nx | substrate-enforced TheoremCard per | 268 | 11 |
| nx_theorem_card_test.nx | smoke for TheoremCard primitive. | 47 | 1 |
| nx_theorem_ingest.nx | ingest machine-readable theorem corpora. | 416 | 7 |
| nx_theorem_ingest_test.nx | smoke for theorem ingestion (P0 scope). | 39 | 1 |
| nx_theorem_registry.nx | substrate-native primitive registry. | 207 | 9 |
| nx_theorem_registry_test.nx | smoke for the L0->L2.5 bulk registry. | 79 | 1 |