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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , , , , , |
| Published: |
2025
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|