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: https://framadate.org/xuJDXtc3t5jTkSrK


Last updated: Oct 16 2021 at 09:07 UTC