cogent:有说服力的项目 源码

Cogent:代码和证明共生 项目首页 有关该项目的一般背景,动机,概述和已发表的论文,请参见我们的。 在线文件 安装 指令已在Debian GNU / Linux 9.8(“ stretch”)和Ubuntu 18.04(“ bionic”)上进行了测试。 类似的发行版也可能起作用。 从Debian存储库安装依赖项。 sudo apt-get install git # git sudo apt-get install python-lxml python-psutil python-pycparser # regression tester 要安装Cogent编译器,请参阅文件了解详细信息。 Cogent框架取决于 。 如果您已经在计算机上安装了它们,则可以使用本地副本。 否则,您可以通过git submodule update --init --recursive -- isa