The following pages link to Hipster (Q23170):
Displaying 8 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Lemma discovery for induction. A survey (Q2287904) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- TIP: Tons of Inductive Problems (Q3453129) (← links)
- TIP: Tools for Inductive Provers (Q3460056) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)