Stream: MetaCoq

Topic: stream events

view this post on Zulip Notification Bot (May 07 2020 at 09:05):

Théo Zimmermann renamed stream coq/metacoq to MetaCoq.

view this post on Zulip Notification Bot (May 04 2022 at 07:51):

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

Last updated: Dec 07 2023 at 18:01 UTC