Proof General - A General Tool for Proof Development
This note is an overview of
a generic interface for proof assistants based on Emacs.
Proof General - A Generic Tool for Proof Development.
Tool description. Appears in Proc. TACAS 2000, LNCS 1785.
Also available: some
used in the presentation of Proof General.
Click here to return to my papers page.
David R. Aspinall,