Proof General is a generic front-end for proof assistants (also known as interactive theorem provers), based on the customizable text editor Emacs.