自己做了下basic.v大家可以参考下

【文件属性】：

文件名称：自己做了下basic.v大家可以参考下

文件大小：58KB

文件格式：V

更新时间：2015-10-11 06:54:13

coq ,basic

Coq编码，basic.v里面的具体实现