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

• 2025-04-22, 4pm UTC+2 (Paris time zone offset)
• https://rendez-vous.renater.fr/rocq-call

Topics

• bump ocaml minimum version? (Gaëtan, 20min)

Roles

• Chairman:
• Secretary:
• Attending: Matthieu, Enrico, Gaëtan (Pierre Rousselin said hi at the end)

Notes

ocaml min version: bump to 4.14, CI base = non flambda, edge = flambda