Lecture 1

Lecture 01 - Introduction; Coq Tutorial

Wed, Sep 26 : Administrivia, motivation, Coq crash course. [materials]