TIP

MaRDI QIDQ31034swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-662-48899-7_16

Cited in

(7)

• Hipster
• Graphsc
• Pirate
• QuickSpec
• MATHsAiD
• TIP: tools for inductive provers
• Automated theory exploration for interactive theorem proving: an introduction to the Hipster system

This page was built for software: TIP