Christian Doczkal (Jul 01 2021 at 10:50): Christian Doczkal (Jul 01 2021 at 10:50):@all Welcome to the stream accompanying the Coq Workshop 2021. We would be happy if discussions around the presented work could continue in this stream, even after the brief question-answer period following each presentation. In order to facilitate this, we are looking for one or two volunteers to relay questions between this stream and the Zoom meeting. This will mainly involve writing down questions asked verbally and summarizing the verbal answers given by the speakers.
Last updated: Oct 01 2023 at 19:01 UTC