Coq Call 2019 11 27 - coq/coq GitHub Wiki November 27th, 4pm-5pm Paris Time How to join the call Add your topics below Topics The call was postponed to next week