【文件属性】：
文件名称：theorem_proving_in_lean:精益定理证明
文件大小：137KB
文件格式：ZIP
更新时间：2021-05-26 13:43:41
Python
精益定理证明
使用Sphinx和重组文本构建。
如何建造
确保已安装精益软件。 用
leanproject get git@github.com:leanprover/theorem_proving_in_lean.git
克隆存储库并安装mathlib库。
构建需要python 3（在ubuntu上安装python3-venv ）。
make install-deps
make html
make latexpdf
仅在第一次时才需要make install-deps的调用，并且仅当您想使用Sphinx和Pygments的捆绑版本并为Lean改进了语法突出显示时才需要。
如何测试精益代码段
make leantest
如何部署
./deploy.sh leanprover theorem_proving_in_lean
如何贡献
欢迎提出更正请求。 请遵循我们的commit
【文件预览】：
theorem_proving_in_lean-master
----tactics.rst(59KB)
----_templates()
--------navigation_without_header.html(332B)
----inductive_types.rst(62KB)
----deploy.sh(403B)
----.gitmodules(0B)
----induction_and_recursion.rst(48KB)
----structures_and_records.rst(11KB)
----quantifiers_and_equality.rst(39KB)
----unixode.sty(6KB)
----introduction.rst(9KB)
----conf.py(7KB)
----dependent_type_theory.rst(45KB)
----type_classes.rst(35KB)
----axioms_and_computation.rst(46KB)
----leanpkg.toml(256B)
----LICENSE(11KB)
----propositions_and_proofs.rst(38KB)
----README.md(1018B)
----index.rst(458B)
----Makefile(882B)
----interacting_with_lean.rst(39KB)
----lean_sphinx.py(4KB)
----.gitignore(31B)
----_static()
--------favicon.ico(14KB)