Paper End-to-end Certified Graph Colouring Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordström, Andy Oertel and Yong Kiam Tan accepted at the 32th International Conference on Principles and Practice of Constraint Programming (CP26). To appear (PDF)