code wiki / coq
topic: coq
5 modules sharing the coq name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_coq_dir_ingest.nx | ingest every Coq decl in the corpus at | 74 | 1 |
| nx_coq_ingest.nx | Coq stdlib + MathComp statement-level ingester (C0). | 226 | 7 |
| nx_coq_ingest_test.nx | smoke for Coq C0 statement parser. | 31 | 1 |
| nx_coq_stream_ingest.nx | bridge nx_coq_ingest -> nx_ingest_runner. | 65 | 4 |
| nx_coq_stream_ingest_test.nx | Coq parser -> defense stack. | 51 | 1 |