Описание тега proof-general

Описание тега Вопросы с тегом
Proof General is a generic front-end for proof assistants, based on Emacs.

Proof General is a generic front-end for proof assistants (like Coq or Isabelle), based on the customizable text editor Emacs.

See also http://proofgeneral.inf.ed.ac.uk/