g-HOL: A Graphical User Interface for the HOL Proof Assistant. - Arshad, Fahd; Mehmood, Hassan; Raza, Fauzan; Hasan, Osman (2015)