TY  - RPRT
TI  - A Formal Proof of R(4,5)=25
AU  - Thibault Gauthier
AU  - Chad E. Brown
PY  - 2024
UR  - https://arxiv.org/abs/2404.01761
ID  - 2404.01761
ER  -