文件名称：Dedukti:λΠ演算模重写的实现
文件大小：212KB
文件格式：ZIP
更新时间：2024-06-03 02:14:39
OCaml
请注意， //github.com/Deducteam/lambdapi上正在开发新的Dedukti交互式版本。 为了进行互操作性开发，仍使用Dedukti的当前版本。 DEDUKTI用户手册（开发版本） 安装 要编译（和可选地安装） Dedukti您需要： OCaml >= 4.06 ， Menhir dune odoc （仅适用odoc doc）。 安装OPAM opam install dedukti opam上的当前版本太旧，我们建议通过克隆此存储库来安装Dedukti。 从源安装 git clone https://github.com/Deducteam/Dedukti.git cd Dedukti make sudo make install 快速入门（安装） 命令 dkcheck examples/append.dk 应该输出以下内容。 SUCCESS