Coq Call 2024 06 11 - rocq-prover/rocq 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