Converting .cmproj files to .mp4 format.
Converting Camtasia Project Files directly to MPEG-4 Videos (.cmproj to .mp4 conversion) is certainly possible and quite straightforward, even though your options are limited to the Mac OS version of the original software, Camtasia.
Your only option is using Camtasia (Mac OS version) itself, which allows users to export its CMPROJ projects in MP4 format.