Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover

Online event hosted by the Ó³»­´«Ã½ of MIT and Harvard

Day 2 (Feb. 4)
Opening Remarks

Tutorial 2: The Coq Theorem Prover
Cody Roux, Draper Labs