Coq Working Group June 2022

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

What’s planned for the agenda?

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

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

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