Proof General Eclipse

Eclipse is an open source IDE originally developed by IBM. It started as a Java development environment, but has been re-engineered to be a general-purpose development environment. Plugins are available that provide state-of-the-art tools for working with a wide range of systems and projects. The Proof General Eclipse plugin supports theorem provers using the PGIP protocol.

See:

Edit | Attach | Print version | History: r19 | r17 < r16 < r15 < r14 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r15 - 08 Feb 2007 - 18:04:06 - GrahamDutton
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies