notelimites
SF Lean: Verified mixed-integer programming in Lean – Henry Robbins — 14 de septiembre de 2026 en Mox · San Francisco | NoTeLimites