Skip to content

History / Blog Joyce Theorem in Lean

Revisions

  • Rename Blog:/Paper: pages to remove colons (GitHub wiki rendering fix) Colons in wiki page filenames cause "error while loading" on GitHub's wiki UI. Rename all 12 affected pages (7 Blog + 5 Paper) from Blog:-* / Paper:-* to Blog-* / Paper-*, and update all [[wiki links]] across 12 referencing pages (_Sidebar, Home, Getting-Started, FAQ, Site-Map, Paper cross-refs, audience guides, etc.). Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

    @gift-framework gift-framework committed Mar 12, 2026