Coq Call 2023 08 08 - coq/coq GitHub Wiki

• August 8th 4pm UTC+2 (Paris time zone offset)
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Looking for feedback on a proposed refactoring of the Constr.kind_of_term - see this message on Zulip (Rodolphe, BedRock Systems)
• Discussing potential blockers for merging our various MRs: #17744, #17777, #17788, #17789, #17878 (Rodolphe or Janno, BedRock Systems)