Sat 21 Jan 2023 16:00 - 16:45 at Scollay - Session with the Coq development team

Sat 21 Jan

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Session with the Coq development teamCoqPL at Scollay
16:00
45m
Talk
Session with the Coq Development Team
CoqPL