Skip to content

Coq Calls

Jump to bottom Edit New page
Pierre Roux edited this page May 24, 2024 · 258 revisions

Coq (quasi) weekly Developer Calls

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