Firmware Edutekno-E1

from machine import Pin
led1 = Pin(2, Pin.OUT)
button1 = Pin(13, Pin.IN, Pin.PULL_UP)
led2 = Pin(2, Pin.OUT)
button2 = Pin(13, Pin.IN, Pin.PULL_UP)
led3 = Pin(2, Pin.OUT)
button3 = Pin(13, Pin.IN, Pin.PULL_UP)
while True:
    if not button1.value():
        led1.value(not led1.value())
        while not button1.value():
            pass
    if not button2.value():
        led2.value(not led2.value())
        while not button2.value():
            pass
    if not button3.value():
        led3.value(not led3.value())
        while not button3.value():
            pass