Proof General Wiki

WikiIndex - wikis, wiki people, wiki software, and wiki ideas
Jump to: navigation, search
Small monochrome image with a white background, displaying the words black text 'no logo'. Proof General Wiki
Recent changes
[No WikiNode]
[No About]
[No Mobile URL]
Status: Active
Language: English
Edit mode: OpenEdit
Wiki engine: TWiki
Wiki license: Copyright to contributing authors
Main topic: Development
Wiki Size: 137 pages see stats...
(As of: 21 March 2013)


Good interfaces and development tools are crucial if interactive proof systems are to be adopted by mathematicians and computer programmers. Unfortunately, the development tools available for theorem provers are often quite rudimentary. The Proof General project is an ongoing attempt to redress this. Proof General provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with ExcitingFeatures (see some ScreenShots) and a wide range of bugs.

The Proof General Wiki has apparently (?) moved from a MoinMoin wiki at http://proofgeneral.inf.ed.ac.uk/kit/wiki to a TWiki wiki WikiEngine at https://wiki.inf.ed.ac.uk/PG . (I'd like a link to more info about *why* that happened. --DavidCary (talk) 08:34, 21 March 2013 (PDT))