Coq Call 2020 03 18 - rocq-prover/rocq GitHub Wiki March 18th 2020, 4pm-5pm Paris Time How to join the call Add your topics below Didn't take place by lack of participants.