How to Record Audio and Save as MP3 File using Audacity
File Menu: Export - Audacity Manual
How to Save Audacity Files in MP3 | Leawo Tutorial Center
Audacity tutorial: Converting to mp3 or AAC and other formats, example: Matthew Smith - epic orchestral synth music for film and game effects; Buanzo's LAME mp3 library
Audacity Ogg - How to Convert Ogg to MP3 in Audacity and Vice Versa?
How to Export an Audacity File As an MP3 in 2 Simple Ways
How to export MP3 file using Audacity audio editor on Windows 10