User Tools

Site Tools


plt17:lecture_9

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plt17:lecture_9 [2017/09/20 16:06]
hossein created
plt17:lecture_9 [2017/10/22 22:48] (current)
hossein
Line 2: Line 2:
 Lecture 9  {{ :​plt17:​lectures:​lect9:​main.pdf | Slides}} ​ Lecture 9  {{ :​plt17:​lectures:​lect9:​main.pdf | Slides}} ​
 (Introduction to Coq) (Introduction to Coq)
 +
 +=== Readings ===
 + 
 +  * Yves Bertot, "Coq in a Hurry", ​ [[https://​hal.inria.fr/​inria-00001173/​PDF/​coq-hurry.pdf|https://​hal.inria.fr/​inria-00001173/​PDF/​coq-hurry.pdf]]
  
  
 **Next Session:** Bring a laptop that has [[https://​coq.inria.fr/​|Coq]] and [[https://​proofgeneral.github.io/​|Proof General]] already installed. **Next Session:** Bring a laptop that has [[https://​coq.inria.fr/​|Coq]] and [[https://​proofgeneral.github.io/​|Proof General]] already installed.
  
plt17/lecture_9.txt ยท Last modified: 2017/10/22 22:48 by hossein