Emilio Jesús Gallego Arias (Dec 01 2020 at 19:59): 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: Jun 10 2023 at 23:01 UTC