notelimites
SF Lean: Verified mixed-integer programming in Lean – Henry Robbins — 2026年9月14日 地点:Mox · San Francisco | NoTeLimites