Zhengyao Lin, Xiaohong Chen 0002, Minh-Thai Trinh, John Wang, Grigore Rosu. Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. Proceedings of the ACM on Programming Languages, 7(PLDI):56-84, 2023. [doi]
Abstract is missing.