User Tools

Site Tools


plt17:lecture_9

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 [[https://coq.inria.fr/|Coq]] and [[https://proofgeneral.github.io/|Proof General]] already installed.

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