spb/wp28_uqo

Public

20commits
1branches
0releases
272.5 MBon disk
maindefault branch
4 days agolast push

Wed, Oct 28, 2026 3
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 +76,200
2. WP28: Monte Carlo section, table layout (4 local sizes), canonical figures
  …
  Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
  Simon-Pierre Boucher 5 days ago · 1 file +25,400
3. 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 · 1 file +25,401