What file format does the app use for a movie file?

When exporting a movie from the app the file format depends on the platform. On macOS and iOS, the movie is an h264 compressed stream in a QuickTime (mov) container. On Windows and Android, the video is an h264 compressed stream in an MPEG4 (mp4) container.