EPIT Spring School on HoTT: Valery Isaev (the Arend proof assistant)

Whole-channel inclusion: EPIT Spring School on Homotopy Type Theory (title sample: All uploads are structured academic lectures from a graduate-level summer school on homotopy type theory, taught by domain experts.; 1 of 3 sampled transcripts read as real teaching); this title passed a strict title check.

A 64-minute video from EPIT Spring School on Homotopy Type Theory: “EPIT Spring School on HoTT: Valery Isaev (the Arend proof assistant)”.

Video by EPIT Spring School on Homotopy Type Theory, played through YouTube's embedded player.