Coq'Art Home Page Picture

This site contains the source of all examples and the solution of 170 over 200 exercises from the book. Some new exercises are still added to this repository.
For each exercise, we give a solution as a Coq file, together with some comments if the exercise is difficult, or if the solution presents some methodological interest. Comments are welcome.