Steps towards Verified Implementations of HOL Light.

Magnus O. Myreen, Scott Owens, Ramana Kumar

Browse the full ITP paper archive.