Get the latest tech news
HOL Light Tutorial
e HOL Light theorem prover can be difficult to get started with. While the manual is fairly detailed and comprehensive, the large amount of background information that has to be absorbed before the user can do anything interesting is intimidating.
None
Or read this on Hacker News