Publish full wiki from docs/wiki (post-PR#100 two-pillar completion) Publishes the 13-page in-repo docs/wiki to the live GitHub wiki (previously a 1-line Home stub). Content reflects the two-pillar six-prover completion; repo- relative links rewritten to absolute github.com/.../blob/main URLs, and sibling page links to wiki-style. Source of truth remains docs/wiki in the main repo.

hyperpolymath committed Jul 7, 2026