Stream: CertiCoq

Topic: stream events

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

Théo Zimmermann renamed stream coq/certicoq to CertiCoq.

Last updated: Feb 06 2023 at 05:03 UTC