6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

Lecture Notes

Coq Examples, Lecture 5

Description:

This is a file that contains examples regarding Introduction to Coq.

Resource Type:
Lecture Notes
file
20 kB
Coq Examples, Lecture 5

Course Info

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