"Smart Induction for Isabelle/HOL (System Description)."

Yutaka Nagashima (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics