Propositions as Types - Computerphile

Propositions as Types - Computerphile

soulspark

For the best caption viewing & creating experience, download the NekoCap extension and view captions directly in YouTube.