• Where can I find documentation about Coq?
• Is there any mailing list about Coq?
• Where can I find an archive of the list?
• How can I be kept informed of new releases of Coq?
• Is there any book about Coq?
• Where can I find some Coq examples?
• How can I report a bug?