Upload
121

bauerandrej

Coq tutorials

  • by bauerandrej
  • 9 videos
  • 7,485 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...