Other Documents

2017

https://hol-theorem-prover.org/hol-course.pdf T. Tuerk
Slides of HOL master course given at KTH in 2017

2012

https://privat.thomas-tuerk.de/assets/docs/quantHeu.pdf T. Tuerk
Documentation of the HOL 4 quantifier elimination library
distributed together with HOL 4 in directory src/quantHeuristics/doc