A Graphical Language for Proof Strategies

DOI10.1007/978-3-642-45221-5_23zbMath1406.68107arXiv1302.6890OpenAlexW3106272645MaRDI QIDQ2870138

Yu-Hui Lin, Aleks Kissinger, Gudmund Grov

Publication date: 17 January 2014

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

Full work available at URL: https://arxiv.org/abs/1302.6890

Mathematics Subject Classification ID

Related Items

Automating Event-B invariant proofs by rippling and proof patching ⋮ Mining State-Based Models from Proof Corpora ⋮ Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC

Uses Software

• Isabelle
• VeriML