检查用tex写的数学证明
proofcheck的Python项目详细描述
数学证明是 用正式语言表达的步骤 陈述另一个形式表达式已经知道的事情 因此而闻名。 每一步都必须有一个推理规则来证明。概念 当推理规则集是 减少到一个小数目。但是这种减少的效果 在证据上是为了让它们变得麻烦，比如 图灵机的计算。校对用途 一个非常大的规则集，用来证明 麻烦。默认推理规则集当前包含超过1500个规则 而且还在增长。
可以使用tex或乳胶。是什么 文档结构的要求是：
1. Each theorem must be labeled and numbered in number-dot-number style,
2. Each theorem and proof must be expressed in a language that ProofCheck can learn to parse, and
3. Proof steps must be numbered and annotated following ProofCheck syntax.
工作周期如下：
Edit the document using your preferred text editor:
emacs article.tex
发送文档：
tex article
分析文档：
parse.py article
检查一个证明，比如定理1.23：
check.py article 1.23
当然，任何阶段的错误都会将您发送回文本编辑器。
欢迎加入QQ群-->： 979659372
