picozeroモジュールを使うと、色々簡単にできるようです。割り込みでボタン押下を検知するには、以下のようになります。とても簡単です。GPIO15に接続したボタンを押下すると、内蔵のledが点いたり消えたりします。

from picozero import Button, pico_led

PIN_BUTTON = 15

def main():
    button = Button(PIN_BUTTON)
    button.when_pressed = led_toggle

def led_toggle():
    pico_led.toggle()

if __name__ == '__main__':
    main()