Coq'Art Home page

Wednesday, May 6, 2009


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.

Related Posts by Categories



Comments

No response to “Coq'Art Home page”
Post a Comment | Post Comments (Atom)

Post a Comment