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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gauthier, Thibault; Brown, Chad E.

Journal title: 15th International Conference on Interactive Theorem Proving (ITP 2024)

Journal publisher: Dagstuhl Research Online Publications

Published year: 2024

DOI identifier: 10.48550/ARXIV.2404.01761