Upload
114

bauerandrej

Coq tutorials

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

Sign in to add this to Watch Later

Add to

Loading playlists...