How to find all PDF documents on WordPress

To whom it may concern,

I am managing a college website on WordPress. Somehow, we need to find all PDF files on the college website made by WordPress. We have about hundreds of PDF files spreading around all webpages.

I wonder what is the quickest way to find those PDF files? Ideally, I do not want to go to every single URL to find those files.

Many thanks!