Eisbach: A Proof Method Language for Isabelle

Daniel Matichuk, Toby C. Murray, Makarius Wenzel. Eisbach: A Proof Method Language for Isabelle. Journal of Automated Reasoning, 56(3):261-282, 2016. [doi]

Abstract

Abstract is missing.