Skip to content

Coq Calls

Jump to bottom Edit New page
Théo Zimmermann edited this page Feb 18, 2025 · 308 revisions

Coq (quasi) weekly Developer Calls

By convention, the page for the next Coq call is created by the first person wishing to add a topic. If the page for the next Coq call does not exist yet, do not hesitate to create it by duplicating a previous one and adding your topics there. BEWARE: The calls are now on Tuesdays at 4pm Paris time rather than Wednesdays.

For last-minute details about who will be available for a call or whether a call will be postponed, see Zulip.

Guidelines

The general rules for Coq meetings apply.

  • Add any topic you want the team to discuss along with the name of the discussion leader and a time estimate for easier scheduling.
  • Topics should be set well in advance, by Monday 4pm at the latest.
  • One cannot take more than a 30-minute slot. If a subject requires more time, setup a specific conference call on it.

Joining the call

Lately, we have been using https://rdv2.rendez-vous.renater.fr/coq-call. Check on the top of the page for the current call for most up-to-date information.

List of Calls:

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

Past calls

To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.

CC0

By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.

Home

Installation of Coq

Documentation pages in this wiki

Events

Clone this wiki locally
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy