QuickSpec
From MaRDI portal
Software:31036
No author found.
Related Items (5)
Proving properties of functional programs by equality saturation ⋮ TIP: Tools for Inductive Provers ⋮ Quick specifications for the busy programmer ⋮ Lemma discovery for induction. A survey ⋮ Hipster: Integrating Theory Exploration in a Proof Assistant
This page was built for software: QuickSpec
