Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023. ACM 2023