文件名称：prove:[证明]
文件大小：428KB
文件格式：ZIP
更新时间：2024-04-16 23:44:00
C
[证明] [prove]是使用方括号括起来的证明验证系统。 目前正在进行中。 安装 在Linux终端中，执行以下步骤： 克隆存储库： $git clone git@github.com:g-regex/prove.git 更改目录： $cd prove 使用调试功能进行编译（推荐）： $make debug 要进行编译而没有调试功能，请输入： $make 现在[prove]二进制文件的路径是./bin/proveparser 用法 有关[prove]用法的信息，请参阅 文献资料 请参考doc /文件夹中的 。 执照 [prove]是根据。
【文件预览】：
prove-main
----token.c(3KB)
----.github()
--------workflows()
----pscanner.c(5KB)
----testcases()
--------valid()
--------invalid()
----token.h(2KB)
----HELP.md(811B)
----doc.c(2KB)
----pscanner.h(1KB)
----verify.c(35KB)
----doc()
--------ebnf.tex(1KB)
--------ebnf.lyx(3KB)
--------examples()
--------doc.tex(28KB)
--------doc.pdf(357KB)
--------references.bib(425B)
----proveparser.c(16KB)
----pgraph.c(14KB)
----LICENSE.md(34KB)
----README.md(859B)
----Makefile(8KB)
----tikz.h(10KB)
----verify.h(3KB)
----.gitignore(5KB)
----pgraph.h(6KB)
----debug.h(4KB)
----error.h(3KB)
----breaklines.sh(613B)