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:
* pleasing the Coq type system
* taking in the girth of Coq's tactics
* swallowing the load of Coq's output format
* riding Coq until it gives you what you want
* theoretical questions Coq can penetrate and cover in enlightening fluid to lubricate further research and impregnate new fields.
For any questions/suggestions about the Coq Club, please write to
coq-club-request@inria.fr.