(14163030), X. L., (11913005), D. M. S. B., (13747021), Z. H., (18624037), Q. X., (18624039), C. L., (18624040), Y. C., . . . (18624044), M. S. (2025). Reproduction Package and Data for Article 'Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle'.
Chicago Style (17th ed.) Citation(14163030), Xiaokun Luan, David Miguel Sanan Baena (11913005), Zhé Hóu (13747021), Qiyuan Xu (18624037), Chengwei Liu (18624039), Yufan Cai (18624040), Yang Liu (6089488), and Meng Sun (18624044). Reproduction Package and Data for Article 'Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle'. 2025.
MLA (9th ed.) Citation(14163030), Xiaokun Luan, et al. Reproduction Package and Data for Article 'Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle'. 2025.