Math: Logic and Foundations: Software: Proof General

Submitted: Sat Sep 06 2003
Title:

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

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people