Proof General
Edit Page
Report
Scan day: 09 February 2014 UTC
15
Virus safety - good
Description: Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.
), based on the customizable text editor . Proof General has been developed at the with contributions from other sites. It is distributed under the conditions of the . The manager and main developer is
Size: 201 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Proof General |
| Keywords: | Isabelle, LEGO, Coq, Emacs, XEmacs, Interface, Theorem Prover, GUI, David Aspinall |
| Description: | Proof General is an Emacs based generic interface for theorem provers |
| IP-address: | 129.215.202.26 |