03-20, Short Coq Tutorial

CS-550 Formal Verification

2 October 2020, Romain Edelmann, 85 views

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

Viewable by everyone. All rights reserved.