Proof general/eclipse: a generic interface for interactive proof

Authors:
Daniel Winterstein;David Aspinall;Christoph Lüth
Affiliations:
University of Edinburgh, UK;University of Edinburgh, UK;Universität Bremen, Germany
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 1
Cited 1

A generic approach to building user interfaces for theorem provers

Journal of Symbolic Computation - Special issue graphical user interfaces and protocols

An open extensible tool environment for event-b

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract