Stream: Coq users

Topic: SF lecture videos

Karl Palmskog (Sep 28 2022 at 19:37):

This is a pretty nice series of professional-grade lecture videos on Software Foundations: https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzkZugkJSsXioFs

Maybe something we should even link from the Coq website?

Karl Palmskog (Sep 28 2022 at 19:38):

background material here: https://github.com/clarksmr/sf-lectures

Théo Zimmermann (Sep 28 2022 at 20:22):

Feel free to add. We have a video section on https://coq.inria.fr/documentation.

Last updated: Sep 28 2023 at 11:01 UTC