You can redeem codes in Prospecting by clicking on Settings and then using the code input function at the top of the Settings ...

All minerals (ores) in Prospecting Roblox and where to find them!