HOL4-Tutorial

A tutorial for the HOL4 theorem prover using the Lassie library

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.gitignore		.gitignore
HOL4tactics.tex		HOL4tactics.tex
README.md		README.md
example1.tex		example1.tex
holtex.sty		holtex.sty
holtexbasic.sty		holtexbasic.sty
intro.tex		intro.tex
libraries.tex		libraries.tex
main.tex		main.tex
preamble.tex		preamble.tex
references.bib		references.bib
repl.tex		repl.tex
script.tex		script.tex
setup_hol4.sh		setup_hol4.sh
tipsTricks.tex		tipsTricks.tex

Provide feedback