El primer programa con Python: Blink

El led rojo está en el pin GPI7 tal y como lo indica en la placa

Luego ponemos en el Thonny el siguiente programa

from time import sleep
import machine
import time

led = machine.Pin(7, machine.Pin.OUT)

while True:
    led.on()
    time.sleep((0.5))
    led.off()
    time.sleep((0.5))

Ejecutamos con F5

y el led parpadea como estaba previsto

Otra forma de conseguir el programa es con la ventana de Python de PicoBlockly

Otra manera de ver el mismo programa, está en la página 25 del libro https://picobricks.com/pages/projectbook

se encuentra el mismo código pero usando la instrucción 

 led.toggle()