Hipster

swMATH11223MaRDI QIDQ23170FDOQ23170

Author name not available (Why is that?)

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)

• IsaCoSy
• TIP: tons of inductive problems
• Proof mining with dependent types
• QuickCheck
• HipSpec
• Zeno
• Leon
• Graphsc
• Pirate
• QuickSpec
• TIP
• MATHsAiD
• Coinductive
• TRANSIT
• 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
• Quick specifications for the busy programmer

This page was built for software: Hipster