Raspberry pi pico + Arduino IDE + HID

Does the raspberry pi pico support the Keyboard library ?

Where did you get the library from ?