2017年5月4日
ocaml 和coq 安装
摘要： 安装opam 参考官网安装步骤即可，比如对于centos系统，以root用户执行如下指令 然后安装ocaml，使用系统包管理器安装 （当然，我是将/etc/yum.repos.d/home:ocaml.repo文件删除后再执行上一条指令，否则安装ocaml时总是出现download超时错误） 安装过 阅读全文
posted @ 2017-05-04 20:50 gaoshoufenmu 阅读(1786) 评论(0) 推荐(0) 编辑