As an introduction to research, I did a bibliography work with a toy implementation on Ramsey theory. I first report is here. A second one is focused on van der Waerden’s theorem.

You can also look at this slides slides for a small introduction.