Dear colleagues, I am thrilled to announce that our paper, "Template-Based Conjecturing for Automated Induction in Isabelle/HOL," has been accepted for presentation at the 10th IPM International Conference on Fundamentals of Software Engineeringhttp://fsen.ir/2023/. In this paper, we propose a novel approach to automated induction in Isabelle/HOL, using template-based conjecturing. Our method significantly reduces the proof …
Continue reading Template-Based Conjecturing for Automated Induction in Isabelle/HOL