逻辑与形式化方法视频
浏览逻辑与形式化方法相关视频，查看概览、创作者与 Hacker News 原讨论链接。
本分类共 33 个视频，按推荐分排序。
本主题视频
46:36Type-Driven Development in Idris — Edwin Brady
49:45seL4 Is Free – What Does This Mean For You?
31:00学习资料
浏览视频
46:3649:4531:0046:3649:4531:00浏览逻辑与形式化方法相关视频，查看概览、创作者与 Hacker News 原讨论链接。
本分类共 33 个视频，按推荐分排序。
46:3649:4531:00