Rock boring
The process used in underground mining to mechanically excavate or drill a circular hole between two levels within a mine, eliminating the need for explosives, reducing risk, increasing speed and efficiency, enhancing precision and decreasing costs.