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.
Eclipse Proof General:
A Generic Interface for Interactive Proof.
Presented at International Workshop on
User Interfaces for Theorem Provers 2005 (UITP'05).
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)
