User Tools

Site Tools


plt17:lecture_9

Lecture 9

Lecture 9 Slides (Introduction to Coq)

Readings

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