Stream: Coq devs & plugin devs

Topic: Resuming Coq calls

view this post on Zulip Maxime Dénès (Aug 12 2021 at 15:05):

HI guys, when do we expect to resume the weekly calls?

view this post on Zulip Théo Zimmermann (Aug 12 2021 at 15:53):

I don't know about the others, but I won't be available before September (but feel free to resume without me of course :wink:)

view this post on Zulip Emilio Jesús Gallego Arias (Aug 13 2021 at 12:37):

I'd prefer September too

view this post on Zulip Matthieu Sozeau (Aug 27 2021 at 09:56):

I changed the wiki, the next call will be on sept 1st

Last updated: Sep 09 2024 at 06:02 UTC