Introduction to the Coq Proof Assistant | Lobsters

6

Introduction to the Coq Proof Assistant video formalmethods youtube.com
via davidk01 4 years ago | archive
Archive.org Archive.today Ghostarchive
| 1 comment

1

1. 2
  
  brendan 4 years ago | link
  
  Ahh, it’s a shame that the side is cut off in the demo.
  
  Seems we might need a Coq tag too! :)