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.
David R. Aspinall,
email
david.aspinall@ed.ac.uk.
Contact
GPG key
(Instant HOWTO)