I also just learned Andrej Bauer is doing a series of seminars with
the authors of various more experimental proof assistants/interesting
type theories.
There is a schedule and recordings of past talks here:
http://math.andrej.com/category/every-proof-assistant/
Having just started watching, the beluga talk is really interesting
>
> Hope you are staying safe,
Likewise
> Lyle