Subscribe

Proof General

Proof General

Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.

Authored by at , Added: Mar 8, 2004

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

Go to the above webpage for full details or Back to Logic Design