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.

my Vcard
David R. Aspinall, email
Contact GPG key (Instant HOWTO)