Stream: User interfaces devs & users

Topic: Scheduling the next meeting on Coq user interfaces

view this post on Zulip Benjamin Pierce (Mar 21 2023 at 15:57):

Thanks, everyone, for an interesting and productive discussion today, and especially to Emilio and Jim for presenting.

We'll continue the discussion sometime in April -- please help choose the date by filling our your availability in this when2meet!

Last updated: Jun 10 2023 at 23:01 UTC