HOL Light Tutorial (via tomsmeding) — discussion

#formalmethods #ml