Homotopy Type Theory in Lean
When publicising your media, use the public site's address.
https://sms.cam.ac.uk/media/2525378
https://sms.cam.ac.uk/media/2525378
Available formats
The following formats have been successfully transcoded and are available for viewing.
21
views
MPEG-4 Video
(360p quality for
download)
-
download
File size: 737.77 MB
Width: 640, Height: 360 Duration: 50 mins 40 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 1.94 Mbits/sec |
|
13
views
WebM
(360p quality for
download)
-
download
File size: 235.22 MB
Width: 640, Height: 360 Duration: 50 mins 41 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 633.64 kbits/sec |
|
0
views
iPod Video
(high quality for
download)
-
download
File size: 193.71 MB
Width: 480, Height: 270 Duration: 50 mins 40 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 521.99 kbits/sec |
|
8
views
MP3
(high quality for
download)
-
download
File size: 92.78 MB
Duration: 50 mins 43 secs Sample rate: 44100 Hz Average bitrate: 249.77 kbits/sec |
What Now ?
- Refresh this page to see when the clips become available
- Publicise this media item using the public site's address: https://sms.cam.ac.uk/media/2525378