TY  - RPRT
TI  - A Proof Strategy Language and Proof Script Generation for Isabelle/HOL
AU  - Yutaka Nagashima
AU  - Ramana Kumar
PY  - 2017
UR  - https://arxiv.org/abs/1606.02941
ID  - 1606.02941
ER  -