文件名称:lambdapi:基于λΠ演算模重写的证明助手
文件大小:408KB
文件格式:ZIP
更新时间:2024-04-09 18:43:49
dependent-types proof-assistant rewriting proof-checker logical-framework
Lambdapi,基于λΠ-演算模数重写的证明助手 Lambdapi是基于λΠ演算模数重写的证明助手。它带有Emacs和VSCode扩展。中提供了更多详细信息。 Lambdapi文件必须以.lp 。但是Lambdapi也可以读取文件(扩展名.dk )并将其转换为Lambdapi文件。 可以在以下报告。 可以在以下上提问。 操作系统 Lambdapi需要类似Unix的系统。它应该可以在Linux和MacOS上运行。可能也可以通过Cygwin或“ Windows上的bash”使其在Windows上运行。 通过安装 Lambdapi正在积极开发中。 lambdapi Opam软件包的新版本将很快发布,届时开发将达到一个更稳定的点。目前,我们建议您固定开发资源库以获取最新的开发版本: opam pin add lambdapi https://github.com/Deducteam/lamb