Indeed it was: https://vimeo.com/413726748 V pet., 1. maj 2020 15:41 je oseba Stefan Monnier napisala: > > 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 > . >