THE COQ CLUB.
=============
The Coq Club moderated mailing list is meant to be a standard way
to discuss questions about the Coq system and related topics. The
subscription link can be found at
http://coq.inria.fr/community. The topics to be discussed in the club should include:
* technical problems;
* questions about proof developments;
* suggestions and questions about the implementation;
* announcements of proofs;
* theoretical questions about typed lambda-calculi which are
closely related to Coq.
For any questions/suggestions about the Coq Club, please write to
coq-club-request@inria.fr.