![Noughts & Crosses: Computing with Product Types [Intro to HoTT, No. 5, Part 3]](/img/0.gif)
31:49
3 месяца назад
![Noughts & Crosses: Understanding Beta & Eta [Intro to HoTT, No. 5, Part 2]](/img/0.gif)
13:44
9 месяцев назад
![Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]](/img/0.gif)
8:09
Год назад
![Noughts & Crosses: Set Interpretation [Intro to HoTT, No. 5, Part 0]](/img/0.gif)
14:52
Год назад
![Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]](/img/0.gif)
16:00
Год назад
![Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]](/img/0.gif)
17:50
Год назад
![Booleans in HoTT: Putting Bool to Use [Intro to HoTT, No. 3, Part 1]](/img/0.gif)
19:57
2 года назад
![Booleans in HoTT: Boolean Combinators [Intro to HoTT, No. 3, Part 0]](/img/0.gif)
20:27
2 года назад
![Formalities & Informalities: Not-So-Casual Friday [Intro to HoTT, No. 2, Part 3]](/img/0.gif)
7:54
2 года назад
![Formalities & Informalities: Judgmental Equality [Intro to HoTT, No. 2, Part 2]](/img/0.gif)
7:07
2 года назад
![Formalities & Informalities: Declare-It-Yourself [Intro to HoTT, No. 2, Part 1]](/img/0.gif)
14:55
2 года назад
![Formalities & Informalities: HoTT Workflows [Intro to HoTT, No. 2, Part 0]](/img/0.gif)
8:27
2 года назад
![Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]](/img/0.gif)
24:11
2 года назад
![Three for One: Homotopy Interpretation [Intro to HoTT, No. 1, Part 2]](/img/0.gif)
11:54
2 года назад
![Three for One: Programming Interpretation [Intro to HoTT, No. 1, Part 1]](/img/0.gif)
8:36
2 года назад
![Three for One: Intro [Intro to HoTT, No. 1, Part 0]](/img/0.gif)
6:55
2 года назад
![Was soll HoTT? [Intro to HoTT, No. 0]](/img/0.gif)
25:48
2 года назад
![[Categories] Theory of the Category of Sets: Sets and Functions](/img/0.gif)
17:46
3 года назад
![[Intro to HoTT - OLD] Martin-Löf Type Theory: Judgments, Contexts, and Types](/img/0.gif)
30:58
3 года назад
![[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language](/img/0.gif)
20:17
3 года назад