code wiki / isabelle
topic: isabelle
5 modules sharing the isabelle name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_isabelle_dir_ingest.nx | ingest every Isabelle decl in the corpus | 67 | 1 |
| nx_isabelle_ingest.nx | Isabelle/HOL .thy statement-level ingester (I0). | 200 | 7 |
| nx_isabelle_ingest_test.nx | smoke for Isabelle I0 statement parser. | 32 | 1 |
| nx_isabelle_stream_ingest.nx | Isabelle parser -> 5-defense runner. | 65 | 4 |
| nx_isabelle_stream_ingest_test.nx | Isabelle parser -> defense stack. | 46 | 1 |