How Does Auto-Tune Work? Pitch Detection, Correction, and Formants

How does Auto-Tune work? Pitch detection, note snapping, retune speed, formants, and scales in online pitch correction.