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?
I'll also create a doodle poll when we agree on that.
Last updated: Jun 08 2023 at 04:01 UTC