Coq Call 2020 01 22 - rocq-prover/rocq GitHub Wiki January 22th 2020, 4pm-5pm Paris Time How to join the call Add your topics below Topics postponed due to POPL 2020