Coq Call 2023 01 18 - coq/coq GitHub Wiki January 18th 2023, 4pm Paris Time https://rdv2.rendez-vous.renater.fr/coq-call Topics Program for the in-person WG Social network team(s)