C/C++ Books 返回
项目作者： ice1000

项目描述 ：
My slides and notes
高级语言： Agda
项目地址: git://github.com/ice1000/Books.git
创建时间： 2018-10-08T05:55:04Z
项目社区：https://github.com/ice1000/Books
开源协议：MIT License
下载


ConstructiveLogic_1647911924942.pdf
TheDevelopmentOfDependentTypes-Dirty_1647911925035.pdf
TheDevelopmentOfDependentTypes_1647911925367.pdf
IntroductionToDependentTypes_1647911925422.pdf
HuaweiEntrancePresentation_1647911925643.pdf
IntroToHoTT2.pptx_1647911925858.pdf
IntroToHoTT_1647911925966.pdf
好耶，是形式验证！-打印版_1647911926250.pdf
好耶，是形式验证！_1647911926375.pdf
你懂吗_1647911926550.pdf
SemanticEngineering_1647911926646.pdf
SOSConCodeWithRestraints_1647911926811.pdf
好耶，是形式验证！-打印版_1647911926966.pdf
好耶，是形式验证！_1647911927073.pdf