The following pages link to TIP: Tons of Inductive Problems (Q3453129):
Displaying 7 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (Q1687709) (← links)
- Integer induction in saturation (Q2055871) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Inductive benchmarks for automated reasoning (Q2128807) (← links)
- TIP: Tons of Inductive Problems (Q3453129) (← links)
