Foundations 8: Formal Type Theory and Homotopy Type Theory and Idris

Name: Foundations 8: Formal Type Theory and Homotopy Type Theory and Idris
Uploaded: 2021-10-04T04:20:54Z
Channel: Richard Southwell

RICHARD SOUTHWELL · OCT 04, 2021

This YouTube video has 6 700 views and was published Oct 4, 2021 on Richard Southwell. That is 1.0x the channel's average views.

Views

6 700

Likes

—

Comments

—

Like rate

—

▸ Vs channel average

-4%

This video is at 1.0x the channel's average views.

LAST 13 UPLOADS · ■ THIS VIDEO

More from this channel