proving that the vertex Folkman number Fv(2, 3, 4; 6) = 14
Primary LanguageTeX
No issues in this repository yet.