Skip to content

Coq Call 2019 10 16

Emilio Jesus Gallego Arias edited this page Nov 13, 2019 · 1 revision

October 16th at 4pm Paris time. Add topics you would like to see discussed.


  • Duplication of the parsing state (system and parsing in Vernacstate.t) (Maxime, if Emilio is present)
  • CEP #40: where to put the proofs? (Enrico, with Pierre-Marie, if Emilio is present)


Emilio not present so above points postponed.

  • 8.10.1 with soundness bug of SProp to fix and notation issue
  • Discussion of #10298 and the like: not ready for 8.10.1
  • Problem of putting too much on the CI? Proposal to remove legacy contribs that are no longer maintained (e.g. fiat-crypto). Should be reconsidered at the next WG. This slows down important bugfixes: we don't have infinite ressources!

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.