coq

Coq Basic.v

形式化方法作业这里是必须完成的部分，到乘法交换律，可选部分未上传 (***Basics:FunctionalProgramming*) (*$Date:2012-01-2720:02:32-0500(Fri,27Jan2012)$*)(*######################################################################*)(***Enume
ustcxjt·2012-02-27 15:00

Coq-ProofGeneral-Emacs-Windows

主要参考https://wiki.ccs.neu.edu/display/~vkoutav/Coq-ProofGeneral-Emacs-Windows文章中有些链接失效了容易出错的地方说明下%COQBIN
ustcxjt·2012-02-24 23:00

my first coq

Completethedefinitionofthefollowingfunction,thenmake   surethatthe[Example]assertionsbeloweachcanbeverifiedby   Coq
ustcxjt·2012-02-17 23:00

2010年终总结

映像最深的就是用一个下午的时间认识coq然后用它把形式化语言的作业写完了，虽然当时蛮有成就感，不过现在已经都忘记了。幸好当时写了博文做纪念，因为想到国内的资料还很少，希望能给被人提供一
亚特兰蒂斯の夏·2010-12-31 11:00
上一页 1 2 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他