Proterochampsa is an extinct genus of proterochampsid archosauriform from the Late Triassic of South America. The genus is the namesake of the family Proterochampsidae, and the broader clade Proteroch

The Santa Maria Formation is a sedimentary rock formation found in Rio Grande do Sul, Brazil. It is primarily Carnian in age, and is notable for its fossils of cynodonts, "rauisuchian" pseudosuchians,