Drive GPIO on nrf

Hello,

I would like to drive the leds of microbit without the display function.

Maybe with class MicroBitDigitalPin, but i see only 20 pin which are external, i would like drive pin 13 and 4 for example of NRF to switch on or off the first LEDs.

Thanks for your help

