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

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

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