联合开发网   搜索   要求与建议
                登陆    注册
排序按匹配   按投票   按下载次数   按上传日期
按分类查找All Coq(1) 
按平台查找All Coq(1) 

[Coq] scales

涉及天平的娱乐谜题的Coq形式化。,
Formalization in Coq of recreational puzzles involving scales., (2016-01-30, Coq, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694659821313118.html
总计:1