Stream: User interfaces devs & users

Topic: Next Coq UI discussion, March 21


view this post on Zulip Benjamin Pierce (Feb 13 2023 at 14:52):

Looks like the best time overall is March 21, 3-5PM Paris time (=10AM to noon US Eastern, I believe, since the US will have switched to Daylight Savings time but Europe will not). The meeting will be held on Zoom.

During the first hour or so, Romain, Enrico, and Maxime will present the principles of the LSP protocol, the subset used in VsCoq2, and its VsCoq2-specific extensions. The second hour is for questions and discussion.


Last updated: Jun 10 2023 at 23:01 UTC