Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Proof assistants / Logic in computer science / Functional languages / Automated theorem proving / Theoretical computer science / HOL / Logic for Computable Functions / Automated reasoning / ML


Steps Towards Verified Implementations of HOL Light Magnus O. Myreen1 , Scott Owens2 , and Ramana Kumar1 1 Computer Laboratory, University of Cambridge, UK
Add to Reading List

Document Date: 2013-05-10 10:01:51

Open Document

File Size: 171,83 KB

Share Result on Facebook
UPDATE