Coq

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其他