Friday, June 19, 2009

Coq Art Home Page image

Coq Art Home PageCoq Art Home Page image
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.

0 Comments:

Post a Comment



 

blogger templates | Make Money Online