文件名称: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