Candle: A Verified Implementation of HOL Light.

Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, Thomas Sewell

Browse the full ITP paper archive.