6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

Lecture Notes

Coq Crash Course (Examples in Operational Semantics), Lecture 4

Description:

This is a file that contains information regarding Coq Crash Course (Examples in Operational Semantics).

Resource Type:
Lecture Notes
pdf
325 kB
Coq Crash Course (Examples in Operational Semantics), Lecture 4

Course Info

As Taught In
Fall 2015
Learning Resource Types
Lecture Notes
Programming Assignments