EPFL videos and channels have moved to mediaspace.epfl.ch. Find out more…
https://tube.switch.ch/videos/7b9c1968
2 October 2020, Romain Edelmann, 85 views
Recording of the Coq tutorial presented on Friday 02/10/20.
Viewable by everyone. All rights reserved.