Subject: Development of Coq

Description: This mailing is devoted to discussions about technical development topics
related to the Coq proof assistant.