Stream: Coq Hackathon and Working Group, Winter 2022

Topic: stream events

view this post on Zulip Notification Bot (Jan 31 2022 at 13:19):

Stream created by Ali Caglayan.

view this post on Zulip Notification Bot (Feb 15 2022 at 10:21):

Cyril Cohen changed the description for this stream.

Coq Hackathon and Working Group, Winter 2022

Coq Hackathon and Working Group, Winter 2022 See the program on the Coq wiki and join BBB video conferencing

view this post on Zulip Notification Bot (Feb 15 2022 at 10:23):

Théo Zimmermann changed the description for this stream.

Coq Hackathon and Working Group, Winter 2022 See the program on the Coq wiki and join BBB video conferencing

See program on the wiki and join BBB video conferencing

view this post on Zulip Notification Bot (May 02 2022 at 08:44):

Théo Zimmermann changed the access permissions for this stream from Public to Web-public.

Last updated: Jun 10 2023 at 23:01 UTC