How To Prove It With Lean

These are the source files for a book about using Lean with How To Prove It. You can read the book here.

You might also be interested in Proof Designer.

Name		Name	Last commit message	Last commit date
Latest commit History 231 Commits
.github/workflows		.github/workflows
Images		Images
_extensions/quarto-ext/latex-environment		_extensions/quarto-ext/latex-environment
docs		docs
.gitattributes		.gitattributes
.gitignore		.gitignore
.nojekyll		.nojekyll
Appendix.qmd		Appendix.qmd
Chap1.qmd		Chap1.qmd
Chap2.qmd		Chap2.qmd
Chap3.qmd		Chap3.qmd
Chap4.qmd		Chap4.qmd
Chap5.qmd		Chap5.qmd
Chap6.qmd		Chap6.qmd
Chap7.qmd		Chap7.qmd
Chap8.qmd		Chap8.qmd
HTPIwLstyles.css		HTPIwLstyles.css
IntroLean.qmd		IntroLean.qmd
LICENSE		LICENSE
README.md		README.md
_quarto.yml		_quarto.yml
cover.png		cover.png
index.qmd		index.qmd
inpreamble.tex		inpreamble.tex
lean.xml		lean.xml
mathjaxdefs.tex		mathjaxdefs.tex
references.bib		references.bib
references.qmd		references.qmd
state.xml		state.xml
thmdefs.tex		thmdefs.tex

Provide feedback