Linking HOL Light to Mathematica using OpenMath Supervised by:Dr. Sofiène Tahar Department of Electrical and Computer Engineering Presented by:Ons Seddiki.