Coq-club -- The Coq mailing list

About Coq-club

To see the collection of prior postings to the list, visit the Coq-club archives.

Using Coq-club

To post a message to all the list members, send email to coq-club@pauillac.inria.fr. You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to Coq-club

Subscribe to Coq-club by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the members list is not available to non-members. Your email address:   You must enter a privacy password. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext. Pick a password:   Reenter password to confirm:   Would you like to receive list mail batched in a daily digest? No Yes

Coq-club Subscribers

The subscribers list is only available to the list members. Enter your address and password to visit the subscribers list: Address: Password:    To change your subscription (set options like digest and delivery modes, get a reminder of your password, or unsubscribe from Coq-club), enter your subscription email address: