Camtasia Studio supports export of its video recordings projects to several multimedia formats, including MPEG-4 (.mp4) multimedia format, which is what tscproj to mp4 conversion represents. Because .tscproj files were introduced in version 9, you will have to use this or some later version to successfully export the project.
Open TSCPROJ file Open MP4 file