Stream: CUDW 2020

Topic: WG: Hour of Coq


view this post on Zulip Emilio Jesús Gallego Arias (Dec 01 2020 at 19:59):

Hi all, a long desire of us was to organize an "hour of Coq" in the spirit of the "Hour of Code" worldwide event; would anyone like to help? If so, we could do a WG.

There is an upcoming "Computer Science Education Week" that could be a good fit for it, see https://www.acm.org/articles/bulletins/2020/december/hour-of-code-2020 for more details


Last updated: Oct 16 2021 at 07:02 UTC