The Coq mailing list

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

For the last few years, I've been working on a new book 
<http://adam.chlipala.net/cpdt/> introducing Coq, with a focus on some 
of the fancier features that other introductions don't spend much space 
on.  I decided to concentrate my efforts on the main text of the book 
rather than exercises for readers.  However, I want to maintain an 
online supplement that points to exercises.

So, the purpose of this message is to ask, does anyone have one or more 
Coq exercises that they wouldn't mind having linked from the CPDT web 
site?  Ideally, they would be tagged with information on corresponding 
parts of CPDT, but this isn't a hard requirement.  I'd love to hear from 
anyone with exercises to "donate" in this sense.

Thanks!