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.

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