This web site is dedicated to experiment reports and tutorials, to provide a venue for exchange around using the Coq system that is complementary to the books like software foundations, Certified Programming with Dependent Types, or Coq’art, and to the mailing list coq-club@inria.fr. On this site, we expect authors to write articles about their experiments performed in Coq, with no constraint on scientific originality, but with the desire to share insights and help the community of users learn new approaches.

If you wish to join, please follow the indications on this page.