Author:
Aspinall David,Lüth Christoph,Winterstein Daniel
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;A. Asperti,2001
2. Lecture Notes in Computer Science;D. Aspinall,2000
3. Aspinall, D., Lüth, C.: Proof General meets IsaWin. In: Aspinall, D., Lüth,C. (eds.) User Interfaces for Theorem Provers UITP 2003, Electronic Notes in Theoretical Computer Science, vol. 103 (2003)
4. Aspinall, D., Lüth, C.: Commentary on PGIP (2003-7), available from http://proofgeneral.inf.ed.ac.uk/kit/
5. Lecture Notes in Artificial Intelligence;D. Aspinall,2006
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interaction with Formal Mathematical Documents in Isabelle/PIDE;Lecture Notes in Computer Science;2019
2. Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents;Electronic Proceedings in Theoretical Computer Science;2018-11-27
3. Coqoon;International Journal on Software Tools for Technology Transfer;2017-05-02
4. The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving;Electronic Proceedings in Theoretical Computer Science;2017-01-27
5. Coqoon;Tools and Algorithms for the Construction and Analysis of Systems;2016