Proof General

Proof General
All Links

Share this:

Details of Proof General

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