User Tools

Site Tools


plt17:lecture_10

Differences

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

Link to this comparison view

plt17:lecture_10 [2017/09/24 12:43] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 10 ======
  
 +Coq demonstration
 +
 +=== Coq Files ===
 +
 +  * Inductive definition for natural numbers ({{ :​plt17:​lectures:​lect10:​natural.v | natural.v }})
 +  * Simple arithmetic language ({{ :​plt17:​lectures:​lect10:​arith.v | arith.v }})
 +  * Lambda-calculus ({{ :​plt17:​lectures:​lect10:​lambda.v | lambda.v }})
plt17/lecture_10.txt ยท Last modified: 2017/09/24 12:43 by hossein