Paper

Smart Induction for Isabelle/HOL (System Description)

Proof assistants offer tactics to facilitate inductive proofs. However, it still requires human ingenuity to decide what arguments to pass to those induction tactics... (read more)

Results in Papers With Code
(↓ scroll down to see all results)