-- A Content Based Mathematical Search Engine: Whelp -- A Machine-Checked Formalization