plt17:lecture_9

Lecture 9

Lecture 9 Slides (Introduction to Coq)

Readings

Yves Bertot, “Coq in a Hurry”, https://hal.inria.fr/inria-00001173/PDF/coq-hurry.pdf

Next Session: Bring a laptop that has Coq and Proof General already installed.

plt17/lecture_9.txt · Last modified: 2017/10/22 22:48 by hossein