code wiki / triangulation
topic: triangulation
9 modules sharing the triangulation name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_triangulation_algebra.nx | L5 verification of algebraic | 198 | 2 |
| nx_triangulation_arith_500.nx | 500-primitive bulk arithmetic triangulation | 3513 | 1 |
| nx_triangulation_arith_bulk.nx | bulk arithmetic triangulation | 217 | 1 |
| nx_triangulation_battery.nx | substrate-side triangulated proof | 184 | 2 |
| nx_triangulation_classical.nx | triangulated correctness proofs | 121 | 2 |
| nx_triangulation_crypto_fft.nx | triangulation battery 3. | 134 | 2 |
| nx_triangulation_graph.nx | battery 5: graph algorithms. | 139 | 3 |
| nx_triangulation_number_theory.nx | number-theory property battery. | 151 | 2 |
| nx_triangulation_sort_string_graph.nx | battery 4. | 126 | 3 |