https://isa-afp.org/authors/marin/ AFP entries of Carles Marín https://isa-afp.org/entries/Chvatal_Tree_Ramsey.html Fri, 06 Nov 2026 00:00:00 +0000 Chvátal's Theorem on the Ramsey Number of a Triangle versus a Tree in the AFP Mathematics/Combinatorics