Invidious

Coq machine assisted proving

 Subscribe
 RSS
Steven Speek | 2 videos | Updated 9 years ago
View playlist on YouTube | Switch Invidious Instance

6:28

How to use CoqIDE

Andrej Bauer

1:27:46

Adam Chlipala Lecture 2, OPLSS 2015

David Christiansen