Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025. ACM 2025, ISBN 979-8-4007-1347-7