Sponsored
View Detailed Profile
HoTTEST Summer School 2022: Agda Problem Session 5 (Axel)

HoTTEST Summer School 2022: Agda Problem Session 5 (Axel)

Agda Problem Session 5 Axel

HoTT Problem Session 5: Equivalences (Johannes) -- HoTTEST Summer School 2022

HoTT Problem Session 5: Equivalences (Johannes) -- HoTTEST Summer School 2022

HoTT

HoTTEST Summer School 2022: Agda Problem Session 5 (Astra)

HoTTEST Summer School 2022: Agda Problem Session 5 (Astra)

Agda Problem Session 5

Agda Lecture 8: Quotients and Higher Inductive Types in Cubical Agda -- HoTTEST Summer School 2022

Agda Lecture 8: Quotients and Higher Inductive Types in Cubical Agda -- HoTTEST Summer School 2022

HoTTEST Summer School 2022 Agda

HoTTEST Summer School 2022: Agda Lecture 5

HoTTEST Summer School 2022: Agda Lecture 5

Agda

Sponsored
HoTT Lecture 6: Contractible Types -- HoTTEST Summer School 2022

HoTT Lecture 6: Contractible Types -- HoTTEST Summer School 2022

HoTT Lecture 6: Contractible Types Ulrik Buchholtz Worksheet: ...

HoTT Problem Session 5: Equivalences (Perry) -- HoTTEST Summer School 2022

HoTT Problem Session 5: Equivalences (Perry) -- HoTTEST Summer School 2022

HoTT

Agda Lecture 7: Cubical Agda - an introduction -- HoTTEST Summer School 2022

Agda Lecture 7: Cubical Agda - an introduction -- HoTTEST Summer School 2022

HoTTEST Summer School 2022 Agda

Agda Lecture 2: Basic MLTT Types -- HoTTEST Summer School 2022

Agda Lecture 2: Basic MLTT Types -- HoTTEST Summer School 2022

HoTTEST Summer School 2022

Agda Problem Session 6: The fundamental group of the circle (Elisabeth) - HoTTEST Summer School 2022

Agda Problem Session 6: The fundamental group of the circle (Elisabeth) - HoTTEST Summer School 2022

HoTTEST Summer School 2022 Agda Problem Session

Agda Problem Session 9: Homogeneous comp. & cubical univalence (Axel) -- HoTTEST Summer School 2022

Agda Problem Session 9: Homogeneous comp. & cubical univalence (Axel) -- HoTTEST Summer School 2022

HoTTEST Summer School 2022 Agda Problem Session

Agda Problem Session 9: Homogeneous comp. & cubical univalence (Astra) -- HoTTEST Summer School 2022

Agda Problem Session 9: Homogeneous comp. & cubical univalence (Astra) -- HoTTEST Summer School 2022

HoTTEST Summer School 2022 Agda Problem Session

HoTT Problem Session 3: Identity types (Jarl) -- HoTTEST Summer School 2022

HoTT Problem Session 3: Identity types (Jarl) -- HoTTEST Summer School 2022

HoTT