Rocq Call 2025 06 17 - rocq-prover/rocq GitHub Wiki

Topics

  • Status of evar_kinds and PR #20140 (Yann, 15min)
  • Rocq'n'share scheduling (Matthieu, 15min)

Roles

  • Chairman:
  • Secretary:
  • Attending: Yann

Notes