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: Oct 16 2021 at 10:02 UTC