Peppermint Mining is all about mining with robots! Mark ores with the peppermint mining tool and if roboports are in range the ore will be flagged for mining. Alt-select ores to remove them from the list of ores to be mined. If robots are idle and the roboport is fully powered, robots will go to work. If a large construction is ordered, mining will be paused to give construction priority.
Alternatively, enable Nougat Mode and robots will mine ore automatically!
Here is a rundown of Pepperming Mining v1 for German speaking players, courtesy of SeeNo: https://www.youtube.com/watch?v=2p-Pq-Hfyyo