Short Coq Tutorial

03-20, CS-550 Formal Verification

Recording of the Coq tutorial presented on Friday 02/10/20.