The Coq mailing list

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

Hello all,

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.

The book web site includes links to classes that use the book as primary 
or supplementary reading.  Have I missed yours?  I'd appreciate hearing 
about any classes I've missed!

Also, if anyone is pondering teaching a future class based on the book, 
I'd be interested in hearing about that, too.

Thanks!