文件名称：theorem_proving_in_lean:精益定理证明
文件大小：137KB
文件格式：ZIP
更新时间：2024-06-15 07:30:21
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)