The four color theorem: from graph theory to proof assistants.

First, it describes the basic notions of graph theory in order to face the six, five and finally the four color theorem. This last problem is treated from an historical point of view and the main steps of the proof are given. Finally, some aspects linked to proof assistants are examined

La tesi inizialmente descrive i fondamenti della teoria dei grafi con le principali nozioni per affrontare il teorema dei sei, cinque e infine dei quattro colori. Quest'ultimo viene descritto dal punto di vista storico e viene fornita una traccia della dimostrazione, per poi indagare gli aspetti legati all'utilizzo di proof assistant.