The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

For the past few years, I've been working on a textbook on practical 
engineering in Coq:
   http://adam.chlipala.net/cpdt/
It's slated to come out in traditional hardcopy form from MIT Press once 
I get my act together and put together the "final" version.

One of the main things missing is more exercises at appropriate levels 
of difficulty.  I'm writing to coq-club to ask if anyone would like to 
"donate" favorite exercises.  These would have to be exercises for which 
you have authority to grant publication rights (though I'm not entirely 
sure what that means legally).  I would include attribution to the 
people suggesting exercises, in the forms that they request.  It would 
be best if the solutions to exercises are not easily found on the web 
(for instance, through coq-club archives, if you suggest a solution 
along with the exercise ;]).

General feedback on the book content remains appreciated.  I'm teaching 
a class with the book this fall, and it would be great if anyone 
planning to use the book in another class in that time period could let 
me know and share the results of the experience!

Thanks in advance!