Skip to content


Matthieu Sozeau edited this page May 4, 2018 · 1 revision


This Coq Working Group took place on February 26th and 27th. We will be using video-conference equipment from Sophia and Paris.

  • In Paris, at IRIF room 3058 (ask Matthieu for more details)
  • In Sophia, at Inria room Euler Bleu (ask Maxime for more details)

It is also possible to connect from H323-compatible clients. If you plan to do so, please contact Maxime.

Video streaming is available on the YouTube channel


Other PRs that need to be discussed (possibly around a computer)

Other issues that need to be discussed (possibly around a computer

  • eq_true vs is_true #6012
  • what happened to the line-by-line benchmark?
Clone this wiki locally
You can’t perform that action at this time.