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]
@inproceedings{From25,
title = {An Isabelle/HOL Framework for Synthetic Completeness Proofs},
author = {Asta Halkjær From},
year = {2025},
doi = {10.1145/3703595.3705882},
url = {https://doi.org/10.1145/3703595.3705882},
researchr = {https://researchr.org/publication/From25},
cites = {0},
citedby = {0},
pages = {171-186},
booktitle = {Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025},
editor = {Kathrin Stark and Amin Timany and Sandrine Blazy and Nicolas Tabareau},
publisher = {ACM},
isbn = {979-8-4007-1347-7},
}