0.5×
0.75×
1×
1.25×
1.5×
1.75×
2×

03-20, Short Coq Tutorial

CS-550 Formal Verification

https://tube.switch.ch/videos/7b9c1968

Start playback at current position

Silence audio initially

Start playback automatically
https://tube.switch.ch/videos/7b9c1968

Start playback at current position

Silence audio initially

Start playback automatically

Don’t show title
Download video

2 October 2020, Romain Edelmann, 85 views

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

Viewable by everyone. All rights reserved.