You can export a score as a MIDI file to work on it in other music applications such as digital audio workstations (DAWs). When exporting a microtonal score to MIDI, you must choose from a number of export options to make sure the exported file produces the intended pitches.
The correct choice depends on the hardware and sobware on the receiving end, and may require some experimentation before you get it right.
For more information about the export options, please see the descriptions presented in the MIDI Export dialog.