Maybe not quite “true” mining, but there’s definitely a prospecting aspect of finding a good vein. There is a mod for coring/quarrying too. There’s pretty much a mod to make any aspect of the game more/less hardcore.