The Raspberry Pi Imager is a tool that can be used to format a Raspberry Pi. It is available for download on the Raspberry official website.