The Coq mailing list

["Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>]

I'm delighted to announce that the Software Foundations team has recently 
released a new revision of our online textbook:

    http://www.cis.upenn.edu/~bcpierce/sf/

The book covers a semester-long course on basic Coq usage, constructive 
logic, and core topics in the theory of programming languages.  It is being 
used for graduate and advanced undergraduate courses at several institutions, 
as well as by many individuals for self-study.  The main novelty is that 
every line is formalized: the whole book is a Coq script.

Enjoy,

   - Benjamin