A Formal Proof of R(4,5)=25
From MaRDI portal
Publication:6528846
arXiv2404.01761MaRDI QIDQ6528846
Author name not available (Why is that?)
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)
