Coq Call 2019 11 27 - rocq-prover/rocq 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