Report copyright - 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