On 1 May 2020, at 15:41, Stefan Monnier <mon...@iro.umontreal.ca> wrote:

Title: Arend proof assistant
Time: Thursday, April 30, 2020 from 18:00 to 19:00 (Central European
Summer Time, UTC+2)
Location: online at Zoom ID 965 4439 5816 (https://zoom.us/j/96544395816)
Speaker: Valery Isaev (JetBrains research)

I managed to miss it.  Any chance it was recorded?


       Stefan

--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyT...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/jwv4kszydtr.fsf-monnier%2BInbox%40gnu.org.