notelimites
SF Lean: Verified mixed-integer programming in Lean – Henry Robbins — September 14, 2026 at Mox · San Francisco | NTL