Report - HOL Light: an overview - University of Cambridgejrh13/slides/tphols-18aug09/slides.pdf · HOL Light overview HOL Light is a member of the HOL family of provers, descended from Mike

Please pass captcha verification before submit form