Skip to content

Coq Calls

Emilio Jesus Gallego Arias edited this page Dec 4, 2019 · 4 revisions

Coq (quasi) weekly Developer Calls

List of Calls:

Format for the page is YYYY-MM-DD.md:

Joining the call:

Vous êtes invité à la réunion en ligne "Coq Call".

Pour rejoindre :


You're invited to "Coq Call" online meeting.

To join :

Clone this wiki locally
You can’t perform that action at this time.