Minutes June 2 2021 - math-comp/math-comp GitHub Wiki

Participants Pierre Roux, Laurent, Yves, Reynald, Cyril, Kazuhiko, Christian

• Coq Release 8.14 should be coming on June 28th, we want to release 1.13.0 shortly after that
• Discussion on Issues/PRs in the 1.13.0 milestone:
  • cleanup (#589, #602, #623) assigned to Laurent
  • matrix renaming (#652): only change card_matrix
  • delayed to 1.14: #316
  • closure/closed (#503): check impact on fourcolor
  • warnings (#529): update this meta-issue and move to 1.14 to recheck.
  • inheritance issues (#689, #740): to be merged
  • #440 leave as is and reckeck right before release
  • into pattern of rewrite (#501): merge