code wiki / hol
topic: hol
5 modules sharing the hol name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_hol_dir_ingest.nx | ingest every HOL Light decl in the corpus | 67 | 1 |
| nx_hol_ingest.nx | HOL Light statement-level ingester (H0). | 215 | 7 |
| nx_hol_ingest_test.nx | smoke for HOL Light H0 statement parser. | 32 | 1 |
| nx_hol_stream_ingest.nx | HOL Light parser -> 5-defense runner. | 65 | 4 |
| nx_hol_stream_ingest_test.nx | HOL Light parser -> defense stack. | 46 | 1 |