Stream: Coq devs & plugin devs

Topic: Coq Workshop 2021


view this post on Zulip Emilio Jesús Gallego Arias (Jun 22 2021 at 18:18):

Hi folks, Coq workshop 2021 is coming, questions:

cc @Jean-Marie Madiot @Christian Doczkal

view this post on Zulip Christian Doczkal (Jun 22 2021 at 19:00):

We definitely plan to have a Zulip Stream to accompany the workshop sessions. The virtual conference rooms will be managed by EasyConferences. It is my (our) understanding that active participation will require registration to the workshop. So please register, if possible. We will inquire whether passively following the presentations can be arranged and convey this information once we have it.

view this post on Zulip Pierre Courtieu (Jun 23 2021 at 10:03):

Hi there, I am trying to compile a bytecode version of coq (to use Drop.) and didn't succeed. Is it still possible?


Last updated: Oct 16 2021 at 03:02 UTC