Repository navigation

HOL4-Tutorial

Public

About

A tutorial for the HOL4 theorem prover using Lassie.

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.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

Repository files navigation

HOL4-Tutorial

A tutorial for the HOL4 theorem prover using the Lassie library

About

A tutorial for the HOL4 theorem prover using Lassie.

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages