The Arroyo Formation, sometimes termed the Lower Clear Fork Formation, is a geologic formation in Texas. It preserves fossils dating back to the Kungurian stage of the Permian period. It is the lower-most portion of the Clear Fork Group, part of a series of fossiliferous Permian strata in the south-central United States known as the red beds.

The Red Beds of Texas and Oklahoma are a group of Early Permian-age geologic strata in the southwestern United States cropping out in north-central Texas and south-central Oklahoma. They comprise several stratigraphic groups, including the Clear Fork Group, the Wichita Group, and the Pease River Group. The Red Beds were first explored by American paleontologist Edward Drinker Cope starting in 1877. Fossil remains of many Permian tetrapods have been found in the Red Beds, including those of Dimetrodon, Edaphosaurus, Seymouria, Platyhystrix, and Eryops. A recurring feature in many of these animals is the sail structure on their backs.