Coq Call 2024 06 11 - coq/coq GitHub Wiki June 11th, 4pm UTC+2 (Paris time zone offset) https://rdv2.rendez-vous.renater.fr/coq-call Participants: Topics Roles Chairman: Secretary: Notes