https://tube.switch.ch/videos/7b9c1968
<iframe width="640" height="360" src="https://tube.switch.ch/embed/7b9c1968" frameborder="0" allow="fullscreen" allowfullscreen></iframe>
Recording of the Coq tutorial presented on Friday 02/10/20.
Published by Romain Edelmann, École polytechnique fédérale de Lausanne (EPFL) on 02 October 2020
Duration: 1:04:23
License: All rights reserved
Viewable by everyone.
76 views
Download video