有人使用coq软件的吗?急!急!急!

coq是一种形式化分析工具,急问!
              
                
                
--------------------编程问答--------------------

            有......... 但是你到底想问啥问题？

补充：云计算 ,  云安全

上一个：求助静态页面发送邮件
下一个：急求：抓包分析qq视频流