Stream: User interfaces devs & users

Topic: Reminder: Next Coq UI discussion: Monday, October 2


view this post on Zulip Benjamin Pierce (Sep 27 2023 at 21:54):

Friendly reminder that we'll meet from 3:30 - 5 PM, Paris time, on Monday, October 2. (That's 9:30 - 11 AM in Philadelphia.) Same Zoom link as usual.

Presenters will be Jessica (~30 min), Jelle and Jim (~30 min), and Emilio (~10 min).

view this post on Zulip Emilio Jesús Gallego Arias (Oct 02 2023 at 13:41):

Hi folks I ran into some tech problems, I'll be online in a minute


Last updated: Oct 13 2024 at 01:02 UTC