Marketing and Branding - coq/coq GitHub Wiki

This page intends to be the starting point for those wanting to use and create Coq-related branding/marketing materials.

Needed:

• Images:
• Short vídeos / Ads.

Related

• The Coq Users in PariS (CUPS) meetup: https://www.meetup.com/Coq-Users-in-PariS/
• Coq Fight proving contest (Sydney, Australia, 2018)