Proof General - A General Tool for Proof Development

This note is an overview of Proof General, a generic interface for proof assistants based on Emacs.
David Aspinall Proof General - A Generic Tool for Proof Development.
Tool description. Appears in Proc. TACAS 2000, LNCS 1785.
Download as gzipped ps or pdf.
Also available: some slides used in the presentation of Proof General.


Click here to return to my papers page.

my Vcard
David R. Aspinall, email david.aspinall@ed.ac.uk.
Contact GPG key (Instant HOWTO)