Yes it was, see https://vimeo.com/413726748 <https://vimeo.com/413726748>

Danel

> 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.