Standalone Tactics Using OpenTheory

DOI10.1007/978-3-642-32347-8_28zbMath1360.68756OpenAlexW1598996730MaRDI QIDQ2914758

Joe Hurd, Ramana Kumar

Publication date: 20 September 2012

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_28

Mathematics Subject Classification ID

Related Items (2)

Programming and Proving with Classical Types ⋮ TacticToe: learning to prove with tactics

Uses Software

• Unnamed Item
• TPTP
• HOL
• ProofPower
• HOL Light
• LCF
• OpenTheory

This page was built for publication: Standalone Tactics Using OpenTheory