Coq Call 2020 03 11 - coq/coq GitHub Wiki

• March 11th 2020, 4pm-5pm Paris Time
• How to join the call
• Add your topics below

Lacking participants (Hugo and Emilio), we postponed all topics (now only keeping that log on the main page). Please re-add them if you intend to attend next week and discuss them.