Developing and Debugging Proof Strategies by Tinkering
(2016)
Presentation / Conference Contribution
Lin, Y., Le Bras, P., & Grov, G. (2016). Developing and Debugging Proof Strategies by Tinkering. In Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016 (573-579). https://doi.org/10.1007/978-3-662-49674-9_37
Previously, we have developed a graphical proof strategy language, called PSGraph [4], to support the development and maintenance of large and complex proof tactics for interactive theorem provers. By using labelled hierarchical graphs this formalisa... Read More about Developing and Debugging Proof Strategies by Tinkering.