Proof General

A generic Emacs interface for proof assistants.