Pierre-Marie Pédrot (Nov 30 2020 at 08:59): 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
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
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: Sep 26 2023 at 11:01 UTC