Welcome to pin:out
The comprehensive GPIO pinout website for the BBC micro:bit
The comprehensive GPIO pinout website for the BBC micro:bit
P13 can either be used as a digital GPIO, or as the Clock pin for an SPI bus.
SPI is useful for communicating with external peripherals such as displays, shift registers or APA102-style RGB LEDs.