Stream: CUDW 2020

Topic: Registration

view this post on Zulip Pierre-Marie Pédrot (Oct 09 2020 at 13:58):

@all please register on the wiki page https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2020

view this post on Zulip Pierre-Marie Pédrot (Oct 09 2020 at 13:58):

You should also add topics you're interested in

view this post on Zulip Karl Palmskog (Oct 09 2020 at 22:15):

would strongly advise posting this link on the Discourse as well

Last updated: Jun 11 2023 at 01:30 UTC