Jacques Carette: "What I learned from formalizing Category Theory in Agda"

Просмотров: 1 | Время: 59:15 | Голосов: +1 +1 | Скачать

Скачать клип Jacques Carette: "What I learned from formalizing Category Theory in Agda"