Types and expressions
A coq script extracted from the chapter 2 of the book
Exercises
Exercise 2.5, page 30 and 2.6, page 32
Simple expressions
Exercise 2.7, page 36
Polynomials
Going home
Pierre Castéran