A Proof Strategy Language and Proof Script Generation for Isabelle/HOL.

Yutaka Nagashima, Ramana Kumar

Browse the full CADE paper archive.