Proof General
proofgeneral.inf.ed.ac.ukComprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.