HOL Light Tutorial(hol-light.github.io)
8 points by stmonty | 3 comments
An HTML tutorial by John Harrison and Juneyoung Lee giving a quick-start, example-driven guide to using the HOL Light theorem prover.
#hol-light on Hacker News
1 story tagged hol-light, newest first.