Do you want to know how to apply proof by induction formally? This year at IJCAI, I presented my paper about the automation tool for proof by induction in Isabelle/HOL. Though IJCAI has already finished, you can find my promotion video for this paper on YouTube. https://youtu.be/4umf8Zhjy7c This work, "Faster Smarter Proof by Induction in …
Continue reading Faster Smarter Proof by Induction in Isabelle/HOL