Hi folks, Coq workshop 2021 is coming, questions:
cc @Jean-Marie Madiot @Christian Doczkal
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.
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