To export Audacity files as MP3s, you just need to use the "Export" option in the program's "File" menu.

You can convert a video to an MP3 file using Adobe Media Encoder, which can help save you storage space on your device.

Free TTS allows you to convert 6,000 characters a week into audio for free and also allows you to download the audio as an MP3 file.