Cited in
(15)- Quick specifications for the busy programmer
- Proving properties of functional programs by equality saturation
- QuickCheck
- HipSpec
- Zeno
- Hipster
- Graphsc
- Pirate
- TIP
- MATHsAiD
- Refal
- IsaCoSy
- Lemma discovery for induction. A survey
- TIP: tools for inductive provers
- Hipster: integrating theory exploration in a proof assistant
This page was built for software: QuickSpec
