Proof General
A generic Emacs interface for proof assistants.
proofgeneral.github.io