How to know the Platform/board names to be added to Platformio.ini?

Click on one of the available boards in the boards list

Then you’ll find the board-id in the configuration section.
Unfortunately there is no “nano r4” available (yet) - See Arduino nano R4