Asta Halkjær From. An Isabelle/HOL Framework for Synthetic Completeness Proofs. In Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025. pages 171-186, ACM, 2025. [doi]
Abstract is missing.