Procolophon was a genus of lizard-like procolophonid reptiles with at least eight species that persisted through the Permian–Triassic extinction event, but became extinct in the later Triassic.
Species taxanomy provided by GBIF Secretariat (2022). GBIF Backbone Taxonomy. Checklist dataset https://doi.org/10.15468/39omei accessed via GBIF.org on 2023-06-13; License: CC BY 4.0