Stream: CUDW 2020

Topic: Coq dev availability in CUDW poll

view this post on Zulip Karl Palmskog (Sep 04 2020 at 12:22):

Hi @Maxime Dénès @Enrico Tassi @Emilio Jesús Gallego Arias --- I was hoping to use some of your time for Coq infrastructure improvement work during CUDW this fall. Can you please fill in your availability in Pierre-Marie's poll and I will vote for the dates you are available:

Last updated: Oct 16 2021 at 09:07 UTC