The Coq mailing list

[Guido Van Rossi <gvanrossi1 AT gmail.com>]

Hi coq club,

I am reading documentation for the coq proof assistant and have a peculiar question for someone familiar with coq documentation.  

For reasons which will be readily apparent when my question is asked, I would not like to send my message to the entire group.  So, if possible, can you please respond to this email so that I can ask you a question with some measure of privacy?  

Thank you in advance for any help which is offered.  

Guido Van Rossi