A Tactic Language for Declarative Proofs

DOI10.1007/978-3-642-14052-5_9zbMath1291.68320OpenAlexW1579683380MaRDI QIDQ5747644

Dominik Dietrich, Serge Autexier

Publication date: 14 September 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_9

Mathematics Subject Classification ID

Uses Software

• Stratego
• IsaPlanner
• Isar
• Mizar
• SAD

This page was built for publication: A Tactic Language for Declarative Proofs