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?
background material here: https://github.com/clarksmr/sf-lectures
Feel free to add. We have a video section on https://coq.inria.fr/documentation.
Last updated: Feb 04 2023 at 21:02 UTC