Is the analogWrite Implementation of PICO hardware or ISR based?

The guide is in python though, i need to do it in the arduino IDE. kinda stuck with arduino IDE as the libraries on some portion of my setup is only arduino compatible :slight_smile: