论文信息 - Proceedings of the Third Workshop on Formal Integrated Development Environment: The Tinker GUI for Graphical Proof Strategies (tool demo) - 字舞流文

Proceedings of the Third Workshop on Formal Integrated Development Environment: The Tinker GUI for Graphical Proof Strategies (tool demo)

Gudmund Grov | Yuhui Lin | Pierre Le Bras

[1] Gudmund Grov,et al. Developing and Debugging Proof Strategies by Tinkering , 2016, TACAS.

[2] Gudmund Grov,et al. A Super Industrial Application of PSGraph , 2016, ABZ.

[3] Tomer Libal,et al. Advanced Proof Viewing in ProofTool , 2014, UITP.

[4] Markus Wenzel,et al. An Isabelle Proof Method Language , 2014, ITP.

[5] David Delahaye,et al. A Proof Dedicated Meta-Language , 2002, LFM.

[6] Gudmund Grov,et al. Tinker, tailor, solver, proof , 2014, UITP.

[7] Gudmund Grov,et al. 'The Tinker' for Rodin , 2016, ABZ.

[8] Gudmund Grov,et al. A Graphical Language for Proof Strategies , 2013, LPAR.