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
Instructor
Departments
As Taught In
Fall
2015
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments