1 Introduction
This project aims to formalize some results about Ramsey theory by Graver and Yackle, which were used in the SAT certification for Ramsey numbers \(R(3,8)\) and \(R(3,9)\) by Zhengyu Li.
This project aims to formalize some results about Ramsey theory by Graver and Yackle, which were used in the SAT certification for Ramsey numbers \(R(3,8)\) and \(R(3,9)\) by Zhengyu Li.