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.
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.
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