Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]

Noughts & Crosses: Cartesian Product [Intro to HoTT, No. 5, Part 1]See more

Noughts & Crosses: Set Interpretation [Intro to HoTT, No. 5, Part 0]See more

Noughts & Crosses: Understanding Beta & Eta [Intro to HoTT, No. 5, Part 2]See more

Noughts & Crosses: Computing with Product Types [Intro to HoTT, No. 5, Part 3]See more

This is never an integer!See more

Three for One: Intro [Intro to HoTT, No. 1, Part 0]See more

Booleans in HoTT: Putting Bool to Use [Intro to HoTT, No. 3, Part 1]See more

#pov : my gcse results vs what i predicted #gcse #gcseresults #gcse2022 #results #shortsvideoSee more