John Force, a 16-time Funny Car champion and the face of NHRA drag racing for nearly four decades, has formally retired.