Stream: Coq devs & plugin devs

Topic: Fall 2023 Coq Hackaton


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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: Oct 13 2024 at 01:02 UTC