Stream created by Pierre-Marie Pédrot.
Given the 9 hour time difference, I expect most of CUDW will take place while I'm sound asleep. I could participate in discussions or presentations after 4 PM (= 7 AM for me).
One possible topic I've thought about a couple times is a discussion to identify the top 10 improvements we'd like to see in Coq and its ecosystem. I have some ideas (some likely good and some maybe not). I have a limited sense of others' thoughts on this. I'm sure it will include several things that are already in progress, but maybe there are other possible improvements that deserve more attention, perhaps from out-of-the-box thinking. Not sure CUDW is the good forum for this, though.
Last updated: Oct 16 2021 at 09:07 UTC