code wiki / proofs
topic: proofs
9 modules sharing the proofs name family (derived from the tree's prefix discipline).
| 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 |