Stream: Coq devs & plugin devs

Topic: Presence or availability for the 2023 Coq Workshop


view this post on Zulip Yves Bertot (Jul 12 2023 at 08:47):

Hello, the 2023 Coq workshop will happen on July 31st in Bialystok, Poland. Among the core developers, who will be present? Who would be available for a remote discussion with the people in the room?

view this post on Zulip Hugo Herbelin (Jul 12 2023 at 13:00):

Not physically present, but I could be present online.

view this post on Zulip Théo Zimmermann (Jul 12 2023 at 13:15):

I will be in the room.

view this post on Zulip Gaëtan Gilbert (Jul 12 2023 at 13:20):

I could do remote

view this post on Zulip Emilio Jesús Gallego Arias (Jul 12 2023 at 13:50):

I can likely do remote too


Last updated: Oct 13 2024 at 01:02 UTC