【文件属性】：
文件名称：prove:[证明]
文件大小：428KB
文件格式：ZIP
更新时间：2021-03-28 05:57:20
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)