This page contains the computer-assisted verification accompanying the paper Recolorability of \((2K_2,K_4)\)-Free Graphs.
Verification code and reproducibility instructions will be added here.