Arduino pro micro

Hi.
I bought an arduino pro micro so then i can make my rc car move in a straight line autonomously, then stop. In order to do this, I have installed the arduino software. However, when i try and set the software for a specific board (in this case pro micro), there is no option for it. Would i be able to use the pro mini option?
Thanks.

Arduino doesn’t sell a “Pro Micro”. Either it works the same as an Arduino Micro (try selecting that) or you need to get and install support files from whoever designed it.