Reproduction Package and Data for Article 'Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle'

Reproduction Package and Data for Article 'Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle'

<p><br></p><p dir="ltr">This is the artifact accompanying the study of compatibility issues in theorem provers, accepted for presentation at the ACM International Conference on the Foundations of Software Engineering (FSE) 2025. This artifact includes both the colle...

Full description

Saved in:
Bibliographic Details
Main Author: Xiaokun Luan (14163030) (author)
Other Authors: David Miguel Sanan Baena (11913005) (author), Zhé Hóu (13747021) (author), Qiyuan Xu (18624037) (author), Chengwei Liu (18624039) (author), Yufan Cai (18624040) (author), Yang Liu (6089488) (author), Meng Sun (18624044) (author)
Published: 2025
Subjects:
Automated software engineering
Empirical software engineering
Compatibility issues
Proof assitants
Interactive theorem prover
Isabelle/HOL
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items