theorem-proving - French English Dictionary