【文件属性】：
文件名称：CCD_RBD
文件大小：47KB
文件格式：ZIP
更新时间：2021-03-28 05:49:48
StandardML
HOL中基于RBD的因果分析的形式化
CCD_RBD HOL定理和数学公式目前仅支持Linux用户
“ -----------------------------在Linux中安装HOL ---------------- -----------------------------------“
1-确保正确安装了GCC编译器，否则请打开终端并使用以下命令。 sudo apt-get更新sudo apt-get安装build-essential
2-下载PolyML 5.7（下载链接： ://osdn.net/frs/g_redir.php?m=kent&f=polyml/polyml/5.7/polyml-5.7.tar.gz）。 将软件包解压缩到您选择的任何目录中。
3-打开终端，并使用cd命令进入程序包目录。 例如Abdelghany @ ubuntu：〜cd
【文件预览】：
CCD_RBD-main
----RBD.sml(144KB)
----FTree.sml(55KB)
----README.md(3KB)
----ETree.sml(135KB)