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
文件列表
cogent:有说服力的项目
(预估有个1433文件)
cabal.config-8.6.1
8KB
cabal.config-8.2.2
9KB
cabal.config-8.6.3
8KB
cabal.config-8.4.1
9KB
cabal.config-8.6.2
8KB
cabal.config-8.6.5
8KB
cabal.config-8.4.4
9KB
cabal.config-8.4.2
9KB
cabal.config-8.6.4
8KB
cabal.config-8.2.1
9KB
暂无评论