Coq Call 2020 04 29 - rocq-prover/rocq GitHub Wiki April 29th 2020, 4pm-5pm Paris Time The call will be on rendez-vous: https://rendez-vous.renater.fr/coq-call Add your topics below Topics