A Tactic Language for Hiproofs

DOI10.1007/978-3-540-85110-3_30zbMath1166.68336OpenAlexW2120455414MaRDI QIDQ5505516

Christoph Lüth, Ewen Denney, David Aspinall

Publication date: 27 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_30

Mathematics Subject Classification ID

Uses Software

• ArcAngel

Cites Work

• Unnamed Item
• Unnamed Item
• ArcAngel: a tactic language for refinement
• Tinycals: Step by Step Tacticals
• Dependent types ensure partial correctness of theorem provers

This page was built for publication: A Tactic Language for Hiproofs