Stream: Coq users

Topic: CUDW


view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 08:59):

Reminder, in case you forgot to subscribe to the dedicated stream: the CUDW is about to start and can be reached from the following link: https://bbb-front.math.univ-paris-diderot.fr/recherche/the-sev-dee-jmp

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 09:08):

And a link to the wiki: https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2020

view this post on Zulip Karl Palmskog (Nov 30 2020 at 09:14):

and please subscribe to https://coq.zulipchat.com/#narrow/stream/255971-CUDW-2020 if interested in CUDW


Last updated: Jan 29 2023 at 01:02 UTC