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