Stream: CUDW 2020

Topic: WG: Hour of Coq

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: Apr 19 2024 at 22:01 UTC