Books:我的幻灯片和笔记
需积分: 5 133 浏览量
2021-03-19
17:41:49
上传
评论
收藏 11.67MB ZIP 举报
Books-master.zip （27个子文件） 
Books-master 
README.md 210B Obsolete Wow-FV-zh Wow-It-is-FV.agda 2KB README.md 906B
好耶，是形式验证！-打印版.pdf 1.46MB 好耶，是形式验证！.pdf 1.46MB HuaweiEntrancePresentation README.md 68B HuaweiEntrancePresentation.pdf 1.18MB DT-Talk-ZJULambda-Slides README.md 110B IntroductionToDependentTypes.pdf 1.76MB OS2ATC README.md 164B IntroToHoTT2.pptx.pdf 1.44MB LICENSE 1KB ConstructiveLogic-Talk-Slides README.md 145B ConstructiveLogic.pdf 286KB SOSCon2020 README.md 46B SOSConCodeWithRestraints.pdf 1.21MB DT-Talk-2-ZJULambda-Slides README.md 197B TheDevelopmentOfDependentTypes-Dirty.pdf 949KB TheDevelopmentOfDependentTypes.pdf 560KB RubyConfChina2020 README.md 113B SemanticEngineering.pdf 1.32MB OSDT2020 README.md 151B IntroToHoTT.pdf 666KB Wow-FV-zh Wow-It-is-FV.agda 2KB README.md 229B 好耶，是形式验证！-打印版.pdf 705KB 好耶，是形式验证！.pdf 717KB
评论0