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 for more details

Last updated: Jun 10 2023 at 23:01 UTC