Ce projet est un script Python pour la preuve de théorèmes mathématiques sur les graphes planaires en utilisant la méthode de déchargement sur les graphes planaires. Il implémente l'algorithme décrit dans l'article [Procédure de déchargement assistée par ordinateur sur les graphes planaires](https://arxiv.org/abs/2202.03885) par Hoang La et Petru Valicov.