Jacques Carette What I learned from formalizing Category Theory in Agda

2022-9-25 23:51

[视频作者] BoBoGalois

[视频时长] 59:16

[视频类型] 科学科普

转自https://www.youtube.com/watch?v=VQiQtH47pbM

回复编辑 ⇧顶 ⇩沉

影音视频访问链接

以下链接为影音视频“Jacques Carette What I learned from formalizing Category Theory in Agda”在线访问地址，点击链接就可以访问查看啦

www.bilibili.com

合集

合集

合集

合集

合集

合集

说两句