The Coq mailing list

[Christopher Dutchyn <dutchyn AT cs.usask.ca>]

On Mar 23, 2014, at 2:27 PM, Adam Chlipala 
<adamc AT csail.mit.edu>
 wrote:

> I'm writing with a brief question, related to my book Certified Programming 
> with Dependent Types <http://adam.chlipala.net/cpdt/>, an introduction to 
> Coq.

I have used (the pre-paper version of) it for a graduate level course, CMPT 
863, at USaskatchewan.  I also have it as a supplemental text for the short 
introduction to Coq that we have in our third-year CMPT 340 (Programming 
Paradigms) course.

Chris D.