The following pages link to (Q4255517):
Displaying 5 items.
- Rule-based induction (Q1334895) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Patching faulty conjectures (Q4647501) (← links)
- Lazy generation of induction hypotheses (Q5210761) (← links)
- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (Q5747766) (← links)
