"Sharing HOL4 and HOL Light Proof Knowledge."

Thibault Gauthier, Cezary Kaliszyk (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics