Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]

Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]

Booleans in HoTT: Boolean Combinators [Intro to HoTT, No. 3, Part 0]See more

Booleans in HoTT: Boolean Combinators [Intro to HoTT, No. 3, Part 0]

Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]See more

Logic & Lambdas: Constructive Modus Ponens [Intro to HoTT, No. 4, Part 0]

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

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

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

Three for One: Homotopy Interpretation [Intro to HoTT, No. 1, Part 2]

Was soll HoTT? [Intro to HoTT, No. 0]See more

Was soll HoTT? [Intro to HoTT, No. 0]

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

Three for One: Programming Interpretation [Intro to HoTT, No. 1, Part 1]

Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]See more

Logic & Lambdas: Context Extension [Intro to HoTT, No. 4, Part 1]

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

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

[Intro to HoTT - OLD] Martin-Löf Type Theory: Judgments, Contexts, and TypesSee more

[Intro to HoTT - OLD] Martin-Löf Type Theory: Judgments, Contexts, and Types

Logic and Critical thinking Chapter 3 full course #logic and #languageSee more

Logic and Critical thinking Chapter 3 full course #logic and #language

[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the LanguageSee more

[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language

Discrete Math - 1.2.3 Introduction to Logic CircuitsSee more

Discrete Math - 1.2.3 Introduction to Logic Circuits

Formalities & Informalities: HoTT Workflows [Intro to HoTT, No. 2, Part 0]See more

Formalities & Informalities: HoTT Workflows [Intro to HoTT, No. 2, Part 0]

Actual