YouTube home Introducing a YouTube made for gamers
Upload
123

bauerandrej

Coq tutorials

  • by bauerandrej
  • 9 videos
  • 7,653 views
  • Last updated on May 9, 2014
These are tutorials on the Coq proof assistant, suitable for mathematicians who want to learn more about Coq.
Play all

Loading...

to add this to Watch Later

Add to

Loading playlists...