A Little Taste of Dependent Types by David Christiansen| 戴维·克里斯蒂安森（David Christi

2024-10-29 18:34

[视频作者] 安常投资

[视频时长] 38:36

[视频类型] 科学科普

https://www.youtube.com/watch?v=VxINoKFm-S4

回复编辑 ⇧顶 ⇩沉

影音视频访问链接

以下链接为影音视频“A Little Taste of Dependent Types by David Christiansen| 戴维·克里斯蒂安森（David Christi”在线访问地址，点击链接就可以访问查看啦

www.bilibili.com

阿里云盘/夸克网盘

说两句