Online Coq Working Group

Developing the Coq system
1

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:

https://framadate.org/ZZiALZrNG3moqRvp

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:

https://github.com/coq/coq/wiki/Next-Coq-Working-Group

As always, proposals for Coq-related presentations from anyone are very welcome!

2

The working group has been recorded and is available here (note the menu on the left that allows to quickly jump somewhere into the video based on the current slide).