coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Adam Chlipala <adamc AT csail.mit.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Favorite Coq exercises?
- Date: Mon, 08 Aug 2011 10:14:51 -0400
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!
- [Coq-Club] Favorite Coq exercises?, Adam Chlipala
Archive powered by MhonArc 2.6.16.