theorem_proving_in_lean4_zh_CN

Lean4中文教程本项目已迁移到 https://github.com/Lean-zh/tp-lean-zh 网页地址 https://www.leanprover.cn/tp-lean-zh/ 本仓库已弃用译者自制习题参考答案在github仓库的Exercise文件夹中

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
Exercises		Exercises
FontAwesome		FontAwesome
book		book
css		css
fonts		fonts
images		images
src		src
.nojekyll		.nojekyll
404.html		404.html
LICENSE		LICENSE
README.md		README.md
axioms_and_computation.html		axioms_and_computation.html
ayu-highlight.css		ayu-highlight.css
book.js		book.js
book.toml		book.toml
clipboard.min.js		clipboard.min.js
conv.html		conv.html
dependent_type_theory.html		dependent_type_theory.html
deploy.sh		deploy.sh
elasticlunr.min.js		elasticlunr.min.js
favicon.png		favicon.png
favicon.svg		favicon.svg
glossary.html		glossary.html
highlight.css		highlight.css
highlight.js		highlight.js
index.html		index.html
induction_and_recursion.html		induction_and_recursion.html
inductive_types.html		inductive_types.html
interacting_with_lean.html		interacting_with_lean.html
introduction.html		introduction.html
mark.min.js		mark.min.js
print.html		print.html
propositions_and_proofs.html		propositions_and_proofs.html
quantifiers_and_equality.html		quantifiers_and_equality.html
searcher.js		searcher.js
searchindex.js		searchindex.js
searchindex.json		searchindex.json
setup.html		setup.html
structures_and_records.html		structures_and_records.html
tactics.html		tactics.html
title_page.html		title_page.html
tomorrow-night.css		tomorrow-night.css
type_classes.html		type_classes.html
unixode.sty		unixode.sty

Provide feedback