Underground mining (hard rock) - Wikipedia
Underground hard rock mining refers to various underground mining techniques used to excavate hard minerals, usually those containing metals such as ore containing gold, silver, iron, copper, zinc, nickel, tin and lead, but also involves using the same techniques for excavating ores of gems such as diamonds or rubies.