Dear Coq devs,
We’ll be organizing a half-day working group online the first week of May. To decide which date to meet, please mark your preference on the following framadate poll:
We will be using videoconferencing software to allow presentations that requires to send the login information privately, so please add your email to the list of participants on the dedicated web
page if you intend to participate:
As always, proposals for Coq-related presentations from anyone are very welcome!