Stream: CUDW 2020

Topic: Coq dev availability in CUDW poll

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: Jun 11 2023 at 01:30 UTC