Thankfully, forests are self-renewing, and we no longer use charcoal as a carbon source.

Mines are also generally pretty small compared to forests.

Charcoal is very much in use around the world, forests are now small enough that entire forests are marked to make way for mines, and forests are not-self renewing on time nor does a mine convert back into a forest.

Charcoal is no longer used as a primary heating source in the way it was in antiquity, given the global trade in oil, gas, and coal.

Furthermore, mines in civilized parts of the world generally do have reforestation requirements as part of their decommissioning.

We can certainly gripe about the legacy of toxic tailing ponds et al., but tree cover is usually handled decently.