Mathematics-Mechanization Research Preprints (MM-Preprints)