from picozero import Button, LED

entrada = Button(15)
ledVerde = LED(25)

while True:
    if(entrada.is_pressed):
        ledVerde.on()
    else:
        ledVerde.off()