spb/wp28_uqo

Public

Thu, Oct 29, 2026 1
1. WP28: table spacing, display fixes, project map
  
  Simon-Pierre Boucher 5 days ago · 1 file +4 −5
Wed, Oct 28, 2026 4
1. WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 1 file +2
2. WP28: typographic pass (displayed equations, narrow tables, overfull boxes)
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 3 files +47 −21
3. WP28: displayed equations throughout, GPT-6.1 author mention removed, FINAL_REVIEW draft
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 2 files +80 −16
4. WP28: manuscript draft (theory sections, proofs, bibliography) compiles
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 4 files +165

Thu, Oct 29, 2026 1