code wiki / lean
topic: lean
5 modules sharing the lean name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_lean_dir_ingest.nx | ingest every Lean decl in the corpus at | 87 | 1 |
| nx_lean_ingest.nx | ingest Lean 4 theorem STATEMENTS (L0 phase). | 292 | 6 |
| nx_lean_ingest_test.nx | smoke for the Lean statement parser. | 27 | 1 |
| nx_lean_stream_ingest.nx | bridge nx_lean_ingest -> nx_ingest_runner. | 65 | 4 |
| nx_lean_stream_ingest_test.nx | Lean parser -> defense stack. | 58 | 1 |