Yutaka Nagashima, Ramana Kumar
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL
CADE, 2017.
@inproceedings{CADE-2017-NagashimaK, author = "Yutaka Nagashima and Ramana Kumar", booktitle = "{Proceedings of the 26th International Conference on Automated Deduction}", doi = "10.1007/978-3-319-63046-5_32", isbn = "['978-3-319-63045-8', '978-3-319-63046-5']", pages = "528--545", publisher = "{Springer}", title = "{A Proof Strategy Language and Proof Script Generation for Isabelle/HOL}", year = 2017, }