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)

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

This page was built for software: Hipster