Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. ACM 2024