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?
Not physically present, but I could be present online.
I will be in the room.
I could do remote
I can likely do remote too
Last updated: Dec 05 2023 at 11:01 UTC