The Coq mailing list

[Tom Prince <tom.prince AT ualberta.net>]

On Mon, 28 Nov 2011 09:41:42 -0500, "Lucian M. Patcas" 
<lucian.patcas AT gmail.com>
 wrote:
> In my experience, I have found mailing lists to be better suited for
> announcements rather than discussions. Of course, what works for me may not
> work for everyone, so I would like to know what other members of the
> community feel about this.

Depends on the people. I know that I would be unlikely to follow a
forum.

  Tom