How to Export an Audacity File As an MP3 in 2 Simple Ways
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
How to Convert WAV to MP3 in Audacity
Audacity, Professional Studio Audio Recording, MP3 Music Editing Software CD F16 | eBay
Audacity audio editor updated to v2.3.2, now comes with LAME mp3 encoder