Coq Call 2022 08 17 - rocq-prover/rocq GitHub Wiki

• August 17th, 2022, 4pm-4:30pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Roundtable (Matthieu)