Video tutorials for the Coq proof assistant 22 February 2011 Andrej Bauer General Next week I am going to a meeting where I am supposed to give a tutorial on the Coq proof assistant. Inspired by the Catsters, I decided to prepare the material in the form of screencasts. You can find the first few tutorials on Youtube in my “Coq tutorials” playlist. So far I have: Obtaining and installing the Coq p