User Tools

Site Tools


This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

====== Lecture 9 ====== Lecture 9 {{ :plt17:lectures:lect9:main.pdf | 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