Stream: Coq users

Topic: SF lecture videos


view this post on Zulip 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?

view this post on Zulip Karl Palmskog (Sep 28 2022 at 19:38):

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

view this post on Zulip 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: Feb 04 2023 at 21:02 UTC