topic: proofs
9 modules sharing the proofs name family (derived from the tree's prefix discipline).
The 'proofs' topic family in the Nishi sovereign ecosystem focuses on formal verification and structured proof methodologies within the NishiLang framework. It includes a comprehensive worked example module, nx_proofs_comprehensive, alongside machine-checked proof systems like nx_proofs_machine_checked, which validate logical derivations with high precision. The family also addresses significant mathematical challenges, such as nx_proofs_pvsnp_pending, which explores the unresolved question of P versus NP with rigorous formal treatment.
auto-narrated by the local model from this topic's module headers; links verified against the wiki index.
narrated overview -- maintained by the narration lane, module links verified against this wiki.
| module | description | lines | funcs |
|---|---|---|---|
| nx_proofs_comprehensive.nx | one worked example per proof method | 232 | 2 |
| nx_proofs_machine_checked.nx | real machine-checked proofs via | 159 | 2 |
| nx_proofs_pvsnp_pending.nx | honest treatment of Wiedijk #92 P vs NP. | 88 | 1 |
| nx_proofs_top100.nx | machine-checked derivation chains for 20 of | 234 | 2 |
| nx_proofs_top100_batch2.nx | Wiedijk Top 100 batch 2 (theorems 21-40). | 217 | 2 |
| nx_proofs_top100_batch3.nx | Wiedijk Top 100 batch 3 (entries 41-60). | 114 | 3 |
| nx_proofs_top100_batch4.nx | Wiedijk Top 100 batch 4 (entries 61-80). | 112 | 3 |
| nx_proofs_top100_batch5.nx | Wiedijk Top 100 batch 5 (final 20, closes 100/100). | 116 | 3 |
| nx_proofs_top100_batch6_closing.nx | final closing entries. | 81 | 3 |