The word(s) "carve" appears 5 time(s) in 5 verse(s) in Quran in Saheeh International translation.

(1) And remember when He made you successors after the 'Aad and settled you in the land, [and] you take for yourselves palaces from its plains and carve from the mountains, homes. Then remember the favors of Allah and do not commit abuse on the earth, spreading corruption."

(سورة الأعراف, Al-A'raaf, Chapter #7, Verse #74)
(Arabic, Transliteration, Urdu (Ahmed Ali), Urdu (Jalandhry), Farsi, Yusuf Ali, Shakir, Picthal, Mohsin Khan, French, Spanish, Indonesian, Malay, German, Bosnian, Russian, Dutch, Italian, Portuguese, Tafsir - Jalal ad-Din, Tafsir - King Fahad Quran Complex)

(2) And they used to carve from the mountains, houses, feeling secure.

(سورة الحجر, Al-Hijr, Chapter #15, Verse #82)
(Arabic, Transliteration, Urdu (Ahmed Ali), Urdu (Jalandhry), Farsi, Yusuf Ali, Shakir, Picthal, Mohsin Khan, French, Spanish, Indonesian, Malay, German, Bosnian, Russian, Dutch, Italian, Portuguese, Tafsir - Jalal ad-Din, Tafsir - King Fahad Quran Complex)

(3) And you carve out of the mountains, homes, with skill.

(سورة الشعراء, Ash-Shu'araa, Chapter #26, Verse #149)
(Arabic, Transliteration, Urdu (Ahmed Ali), Urdu (Jalandhry), Farsi, Yusuf Ali, Shakir, Picthal, Mohsin Khan, French, Spanish, Indonesian, Malay, German, Bosnian, Russian, Dutch, Italian, Portuguese, Tafsir - Jalal ad-Din, Tafsir - King Fahad Quran Complex)

(4) He said, "Do you worship that which you [yourselves] carve,

(سورة الصافات, As-Saaffaat, Chapter #37, Verse #95)
(Arabic, Transliteration, Urdu (Ahmed Ali), Urdu (Jalandhry), Farsi, Yusuf Ali, Shakir, Picthal, Mohsin Khan, French, Spanish, Indonesian, Malay, German, Bosnian, Russian, Dutch, Italian, Portuguese, Tafsir - Jalal ad-Din, Tafsir - King Fahad Quran Complex)

(5) And [with] Thamud, who carved out the rocks in the valley?

(سورة الفجر, Al-Fajr, Chapter #89, Verse #9)
(Arabic, Transliteration, Urdu (Ahmed Ali), Urdu (Jalandhry), Farsi, Yusuf Ali, Shakir, Picthal, Mohsin Khan, French, Spanish, Indonesian, Malay, German, Bosnian, Russian, Dutch, Italian, Portuguese, Tafsir - Jalal ad-Din, Tafsir - King Fahad Quran Complex)