A Formal Proof of R(4,5)=25

arXiv2404.01761MaRDI QIDQ6528846FDOQ6528846

Authors: T. Gauthier, Chad E. Brown 

Has companion code repository: https://github.com/barakeel/ramsey

This page was built for publication: A Formal Proof of R(4,5)=25

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6528846)