Proexaeretodon is a genus of traversodontid from the Late Triassic (Carnian) Ischigualasto Formation of Argentina. Although long considered a junior synonym of Exaeretodon, Schmitt et al. revalidated this genus in 2023 based on comparisons with Santagnathus.