The following pages link to QuickSpec (Q31036):
Displaying 5 items.
- Proving properties of functional programs by equality saturation (Q300342) (← links)
- Lemma discovery for induction. A survey (Q2287904) (← links)
- TIP: Tools for Inductive Provers (Q3460056) (← links)
- Quick specifications for the busy programmer (Q5371995) (← links)
- Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) (← links)
