Théo Zimmermann renamed stream coq/metacoq to MetaCoq.
Théo Zimmermann changed the access permissions for this stream from Public to Web-public.
Last updated: Aug 11 2022 at 03:02 UTC