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: Oct 13 2024 at 01:02 UTC