Proof General: A Generic Tool for Proof Development-Reference-Cited by-同舟云学术

Proof General: A Generic Tool for Proof Development

Published:2000 Issue: Volume: Page:38-43
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Aspinall David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46419-0_3

Reference4 articles.

1. D. Aspinall, H. Goguen, T. Kleymann, and D. Sequira. Proof General. System documentation, see http://www.dcs.ed.ac.uk/home/proofgen , 1999. 41

2. Yves Bertot, Thomas Kleymann, and Dilip Sequeira. Implementing proof by pointing without a structure editor. Technical Report ECS-LFCS-97-368, University of Edinburgh, 1997. 41

3. Yves Bertot and Laurent Théry. A generic approach to building user interfaces for theorem provers. Journal of Symbolic Computation, 25(7):161–194, February 1998. 41

4. Lect Notes Comput Sci;M. Wenzel,1999

Cited by 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dynamic Proof Presentation;Mathematical Reasoning: The History and Impact of the DReaM Group;2021

2. Notes on notebooks: is Jupyter the bringer of jollity?;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17

3. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20

4. A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description);Automated Reasoning;2020

5. Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs;Automated Reasoning;2020