Hipster

MaRDI QIDQ23170swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-08434-3_9

Described by source

• Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
• Hipster: integrating theory exploration in a proof assistant

Cited in

(20)

• QuickCheck
• Zeno
• HipSpec
• Unprovability results for clause set cycles
• Induction and Skolemization in saturation theorem proving
• Leon
• Lemma discovery for induction. A survey
• Proof mining with dependent types
• TIP
• Graphsc
• QuickSpec
• Pirate
• MATHsAiD
• TIP: tons of inductive problems
• TIP: tools for inductive provers
• Coinductive
• TRANSIT
• Quick specifications for the busy programmer
• IsaCoSy
• Theory exploration powered by deductive synthesis

This page was built for software: Hipster