Coq Call 2020 04 29 - coq/coq 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