hyphoto 发表于 2008-4-30 18:29

求教！！！有没有人用过coq

作业要用到coq，但是看了半天不知道怎么安装，据说还要c编译器。有没达人用过这种东西呢？

真心求教！$m19$
页: [1]
查看完整版本: 求教！！！有没有人用过coq