Coq Working Group June 2022

Developing the Coq system
1

Hello there,

We had agreed some time ago (during a Coq Call) to hold a two-day Coq Working Group in June, at Inria Sophia-Antipolis. Here’s the evento to pick the date: Répondre au sondage - Coq Working Group June 2022 - Evento

1 Like
2

What’s planned for the agenda?

3

Nothing planned yet, but please post suggestions for topics here or on Zulip. I’ll prepare the agenda based on what is collected.

4

The Working Group will take place on June 15-16 in Sophia-Antipolis. I will post more details shortly.

5

Please post the topics you’d like to discuss here: Next Coq Working Group · coq/coq Wiki · GitHub