User Tools

Site Tools


plt17:lecture_9

This is an old revision of the document!


Lecture 9

Lecture 9 Slides (Introduction to Coq)

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

plt17/lecture_9.1505937981.txt.gz · Last modified: 2017/09/20 16:06 by hossein