Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
xx-infinite-time-turing-machines.mp4 | 2024-06-17 21:59 | 97M | ||
xx-agda.mp4 | 2024-06-17 22:48 | 112M | ||
xx-synthetic-computability-theory.mp4 | 2024-06-17 21:50 | 159M | ||
01-constructive-mathematics.mp4 | 2024-06-18 03:30 | 192M | ||
03-constructive-content-of-classical-logic.mp4 | 2024-06-17 20:38 | 250M | ||
02-realizability.mp4 | 2024-06-17 22:26 | 417M | ||