Skip to content
cs-conference-ranking.org

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

Thibault Gauthier, Chad E. Brown

VenueBITP
Year2024
ProceedingsITP
DBLP recordconf/itp/GauthierB24 ↗

Browse the full ITP paper archive.