Sat 13 Jan 2018 14:50 - 15:30 at Watercourt A - Coq developers talk & panel

Sat 13 Jan

CoqPL-2018
14:50 - 15:30: - Coq developers talk & panel at Watercourt A
CoqPL-2018151585140000014:50 - 15:30
Talk
File Attached