Emilio Jesús Gallego Arias (Jul 07 2023 at 13:01): Emilio Jesús Gallego Arias (Jul 07 2023 at 13:01):Hi folks, it's been 18 months since the last online Hackaton (https://github.com/coq/coq/wiki/CoqWG-2022-02) , so I was thinking of organizing one in the fall. If you are interested in helping let me know.
bubble sort now (Jul 07 2023 at 13:21):Nice. So this event will be held around September? I'm not interested in helping but I'm pretty interested in attending such an event.
Emilio Jesús Gallego Arias (Jul 07 2023 at 13:26):Date to be determined yet, but indeed we'll try to be most inclusive of timezones and calendars
Last updated: Nov 29 2023 at 21:01 UTC