applesea39815
这家伙很懒，什么也没写
Ta上传的资源 (0)
Certified Programming with Dependent Type
学习coq用的书
VanDykeSecureCRTv6.1.3綠色版.rar
VanDykeSecureCRTv6.1.3綠色版,免安裝，免破解版本
逻辑学导论14版英语
逻辑学教科书，入门级，适合联系英语
aprmemcache
memcached一个客户端，使用了apr库，适合在apache模块中使用