Rocq Call 2025 07 22 - rocq-prover/rocq GitHub Wiki

• 16:00 UTC+2:00 (CEST, Paris time zone offset)
• https://rendez-vous.renater.fr/rocq-call

Topics

20827 (Retain original variable names for patterns in Print HintDb) - Perhaps Pierre-Marie or Gaëtan would complete the review and, if now satisfactory, merge the PR? It's a short PR. Both gave a number of comments a week or two ago, which I've addressed. (Jim, 5 minutes)

Roles

• Chairman:
• Secretary:
• Attending: Jim, Gaëtan, Enrico, Matthieu

Notes

Postponed - Pierre-Marie is on vacation until the end of summer.