Stream: Coq devs & plugin devs

Topic: Fall WG


view this post on Zulip Emilio Jesús Gallego Arias (Sep 26 2022 at 14:50):

Hi all, in the last WG we discussed about doing a fall WG, what do you folks think?

view this post on Zulip Matthieu Sozeau (Sep 26 2022 at 15:04):

I think we should have one but I'll be absent from mid-october until early december, so you'll probably have to do without me.

view this post on Zulip Ali Caglayan (Sep 26 2022 at 17:25):

Where would it happen?

view this post on Zulip Emilio Jesús Gallego Arias (Sep 26 2022 at 17:30):

I guess Paris, Nantes, or Sophia

view this post on Zulip Maxime Dénès (Sep 26 2022 at 17:52):

We could do Paris this time I guess.


Last updated: Feb 01 2023 at 15:04 UTC