PG Web: Difference between revisions
Hoof Hearted (talk | contribs) m (Text replace - "http://wikiindex.org/images/e/e6/NoLogo.png" to "No") |
(apparently changed wiki engine and domain name -- wish for more info?) |
||
| Line 1: | Line 1: | ||
{{Wiki | {{Wiki | ||
|logo = No | |logo = No | ||
|URL = | |URL = https://wiki.inf.ed.ac.uk/PG | ||
|recentchanges URL = No | |recentchanges URL = No | ||
|wikinode URL = No | |wikinode URL = No | ||
| Line 7: | Line 7: | ||
|language = English | |language = English | ||
|editmode = OpenEdit | |editmode = OpenEdit | ||
|engine = | |engine = Twiki | ||
|maintopic = Development | |maintopic = Development | ||
}} | }} | ||
==Description== | ==Description== | ||
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. | 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. --[[User:DavidCary|DavidCary]] ([[User talk:DavidCary|talk]]) 08:34, 21 March 2013 (PDT))'' | |||
[[Category:UnknownWikiLogo]] | [[Category:UnknownWikiLogo]] | ||
Revision as of 15:34, 21 March 2013
|
PG Web [No Recent changes] [No WikiNode] [No About] [No Mobile URL] |
|---|---|
| Founded by: | |
| Status: | Active |
| Language: | English |
| Edit mode: | OpenEdit |
| Wiki engine: | Twiki |
| Wiki license: | [[:Category:Wiki {{{license}}}|{{{license}}}]] |
| Main topic: | Development |
Description
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))