Ce projet compile et présente des résultats de type Erdős-Pósa, un concept fondamental en théorie des graphes. Il sert de référence pour les chercheurs et étudiants en mathématiques discrètes, offrant une base de données structurée des théorèmes et preuves associés à ce domaine.