Mechanized Painlink