GIF, formally known as Graphics Interchange Format, is a bitmap image format. But you can't directly edit GIFs like images on your computer or phone. To edit GIFs, you need to use GIF editor software.