Ali Caglayan (Oct 28 2022 at 15:02): Ali Caglayan (Oct 28 2022 at 15:02):I would like to start organizing the Coq Working group for the Winter. Would before or after Christmas be smarter? I assume that there will be a 8.17 release towards Christmas, so before might be better?
Ali Caglayan (Oct 28 2022 at 15:02):I'll also create a doodle poll when we agree on that.
Last updated: Apr 19 2024 at 04:02 UTC