HOL Light is an interactive theorem prover and proof checker for formalising and proving mathematical theorems.The post HOL Light – interactive theorem prover appeared first on LinuxLinks.