Add a clip above and the converter detects the container and codecs and suggests targets. MP4 with H.264 is the safe choice almost every time: phones, TVs, browsers and every social network play it.
If the video already uses a suitable codec, it's repackaged without re-encoding: fast and lossless. Otherwise it's re-encoded to H.264, or VP9 for WEBM. You can also downscale to 1080p, 720p, 480p or 360p.
Any video can become a GIF, or give up its audio as MP3, WAV, M4A, OGG or FLAC.