Proof General - A General Tool for Proof Development
This paper introduces Eclipse Proof General,
a sophisticated new interface for interactive theorem provers.
Daniel Winterstein, David Aspinall and
Christoph Lüth.
Proof General / Eclipse: A Generic Interface for Interactive Proof.
Poster paper in IJCAI 2005, pp1587-1588.
Download as
pdf.
Click here to return to my papers page.
David R. Aspinall,
email
david.aspinall@ed.ac.uk.
Contact
GPG key
(Instant HOWTO)