spb/wp28_uqo

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
   6162f9a