Stream: Coq devs & plugin devs

Topic: Coq Winter Working Group 2022/(2023?)


view this post on Zulip 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?

view this post on Zulip Ali Caglayan (Oct 28 2022 at 15:02):

I'll also create a doodle poll when we agree on that.


Last updated: Feb 05 2023 at 21:03 UTC