Stream: User interfaces devs & users

Topic: Scheduling the next meeting about Coq UI research

view this post on Zulip Benjamin Pierce (Jun 07 2023 at 17:49):

Please fill out this when2meet (by this weekend) with your availability for the next discussion!

(Re-posting in case people missed it in the previous thread.)

Last updated: Oct 13 2024 at 01:02 UTC