QuickSpec

swMATH19206MaRDI QIDQ31036FDOQ31036

Author name not available (Why is that?)

Cited In (5)

• TIP: Tools for Inductive Provers
• Proving properties of functional programs by equality saturation
• Hipster: Integrating Theory Exploration in a Proof Assistant
• Lemma discovery for induction. A survey
• Quick specifications for the busy programmer

This page was built for software: QuickSpec