TIP: Tools for Inductive Provers

DOI10.1007/978-3-662-48899-7_16zbMath1471.68316OpenAlexW2282845460MaRDI QIDQ3460056

Dan Rosen, Nicholas Smallbone

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://research.chalmers.se/en/publication/230830

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Automated theory exploration for interactive theorem proving: an introduction to the Hipster system

Uses Software

• Unnamed Item
• Unnamed Item
• SMT-LIB
• Why3
• QuickCheck
• Zeno
• HipSpec
• CVC4
• Hipster
• TIP
• Graphsc
• QuickSpec
• Pirate

This page was built for publication: TIP: Tools for Inductive Provers