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