En veiledning som hjelper nybegynnere i gang med bevisassistenten HOL Light, som kan være vanskelig å komme i gang med.

Kilde: https://hol-light.github.io/tutorial/HTML/tutorial.html