Comparison of Two Theorem Provers: Isabelle/HOL and Coq. - Artem Yushkovskiy; Stavros Tripakis (CoRR, 2018)