Stream: CUDW 2023

Topic: stream events


view this post on Zulip Notification Bot (Feb 27 2023 at 12:52):

Web-public stream created by Cyril Cohen. Description:

Discussions around the Coq User and Developer Workshop 2023

view this post on Zulip Notification Bot (Jun 26 2023 at 13:29):

Théo Zimmermann changed the description for this stream.

Discussions around the Coq User and Developer Workshop 2023

Discussions around the Coq User and Developer Workshop 2023. Wiki page: https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2023


Last updated: May 18 2024 at 08:40 UTC