Sofiéne Tahar. Importing MDG verification results into HOL (0)

by Haiyang Xiong, Paul Curzon
Venue:In Bertot et al. [BDA + 99