Coma Pedrosa (Catalan pronunciation: [ˈkomə pəˈðɾozə], locally: [ˈkoma peˈðɾoza]) (2,942 m/9,652 ft) is the highest mountain in the principality of Andorra. It is popular with mountain climbers, its ascent being technically straightforward, although strenuous. Several mountain lakes and tarns are found on the slopes, notably Estanys de Baiau, which lies on the western slopes, across the Spanish border.
The nearest town is Arinsal, La Massana. Historically, the mountain provided ample security from invasions into Andorra.