Search

Xiaokun Luan

Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle

Published with Wowchemy — the free, open source website builder that empowers creators.