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

MaRDI QIDQ6528846arXivFDO

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)