@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: Aug 11 2022 at 03:02 UTC