hol-light.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

HOL Light Tutorial (hol-light.github.io)

8 points by stmonty 10 days ago | 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.