文件名称：mini-prover:TaPL的学期项目。 迷你Coq样的证明助手
文件大小：379KB
文件格式：ZIP
更新时间：2024-06-01 10:00:25
Haskell
迷你证明者 TaPL的学期项目。 类似于Coq的迷你证明助手。 用法 系统要求 Linux或macOS，目前尚未在Windows上进行测试。 Haskell工具堆栈 编译中 stack build 执行 stack exec mini-prover-exe 对于详细输出： stack exec mini-prover-exe -- -v[0-3] 演示版 参见./demo/demo.v 。 单元测试 stack test 细节 参见./tex/report 。
【文件预览】：
mini-prover-master
----Setup.hs(46B)
----tex()
--------report()
--------pre()
----package.yaml(1KB)
----src()
--------MiniProver()
----demo()
--------demo.v(2KB)
----.travis.yml(642B)
----LICENSE(1KB)
----test()
--------Spec.hs(44B)
--------MiniProver()
----README.md(696B)
----ChangeLog.md(51B)
----libs()
--------Init()
----stack.yaml(2KB)
----.gitignore(2KB)
----app()
--------Main.hs(671B)