spb/wp28_uqo

Public

Thu, Oct 29, 2026 2
1. WP28: reruns integrated (valid-worker-only variants), small-block and ill-conditioned tables, 55-page build
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 4 days ago · 1 file +6 −6
2. WP28: benchmarks section, final review verdict, phase log, delivery note
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 1 file +6 −6
Wed, Oct 28, 2026 1
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 +27

Thu, Oct 29, 2026 2