TY  - RPRT
TI  - Template-Based Conjecturing for Automated Induction in Isabelle/HOL
AU  - Yutaka Nagashima
AU  - Zijin Xu
AU  - Ningli Wang
AU  - Daniel Sebastian Goc
AU  - James Bang
PY  - 2023
UR  - https://arxiv.org/abs/2212.11151
ID  - 2212.11151
ER  -