Pre-recorded talk for ICMS 2020 http://icms-conference.org/2020/ Q&A at 16:10 CEST / 10:10 EDT / 9:10 CDT on 2020/7/15 Session: Univalent Mathematics: Theory and Implementation https://univalent-math.github.io/
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
