You can download a Google Docs file from a computer or mobile device and select the appropriate format for your file.

This post explains how to download the Google Docs desktop app for Windows 111/10 using Google Chrome and Microsoft Edge browsers.