文件名称：ll-coq:线性逻辑的一些Coq形式化
文件大小：9KB
文件格式：ZIP
更新时间：2024-06-09 12:37:42
Coq
阶段语义 Coq证明助手中线性逻辑的一些形式化形式。 安装 使用OPAM： opam repo add coq-unstable https://github.com/coq/repo-unstable.git opam install -j4 -v coq:phase-semantics 从源代码编译 安装AAC-Tactics库并运行： ./configure.sh make
【文件预览】：
ll-coq-master
----Make(33B)
----src()
--------All.v(31KB)
----configure.sh(44B)
----LICENSE(471B)
----README.md(322B)
----.gitignore(33B)