Skip to content Skip to navigation

Jeremy Avigad on Formal Methods and the Lean Theorem Prover