PG Web: Difference between revisions
Hoof Hearted (talk | contribs) ({{For|the earlier, now defunct MoinMoin-powered wiki|Proof General Documentation Wiki}}) |
Hoof Hearted (talk | contribs) m (Text replacement - "FoundedIn2008" to "Founded in 2008") |
||
| Line 27: | Line 27: | ||
This wiki is for collaboration on the use and development of Proof General. Good interfaces and development tools are crucial if interactive proof systems are to be adopted by {{tag|Mathematics|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. [http://ProofGeneral.Inf.Ed.ac.uk Proof General] provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with exciting features (see some screenshots) and a wide range of bugs. | This wiki is for collaboration on the use and development of Proof General. Good interfaces and development tools are crucial if interactive proof systems are to be adopted by {{tag|Mathematics|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. [http://ProofGeneral.Inf.Ed.ac.uk Proof General] provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with exciting features (see some screenshots) and a wide range of bugs. | ||
The '''Proof General Wiki''', from the School of Informatics at The {{tag|University}} of {{tag|Edinburgh}}, Scotland, has apparently (?) moved from a [[:Category:MoinMoin|MoinMoin]] wiki at http://ProofGeneral.Inf.Ed.ac.uk/kit/wiki to a {{tag|TWiki}} wiki engine at https://wiki.Inf.Ed.ac.uk/PG in {{tag| | The '''Proof General Wiki''', from the School of Informatics at The {{tag|University}} of {{tag|Edinburgh}}, Scotland, has apparently (?) moved from a [[:Category:MoinMoin|MoinMoin]] wiki at http://ProofGeneral.Inf.Ed.ac.uk/kit/wiki to a {{tag|TWiki}} wiki engine at https://wiki.Inf.Ed.ac.uk/PG in {{tag|Founded in 2008|2008}}. | ||
:''(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))'' | :''(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))'' | ||
Latest revision as of 18:04, 9 November 2022
|
PG Web, originally Proof General Wiki Recent changes [No WikiNode] [No About] [No Mobile URL] |
|---|---|
| Founded by: | unknown |
| Status: | Active |
| Language: | English |
| Edit mode: | ByInvitation |
| Wiki engine: | TWiki |
| Wiki license: | Copyright to contributing authors |
| Main topic: | Mathematics |
- For the earlier, now defunct MoinMoin-powered wiki, see: Proof General Documentation Wiki.
| Wiki size: | 137 article pages see stats |
(As of: 2022-07-06)
- Welcome to the Proof General Wiki!
This wiki is for collaboration on the use and development of Proof General. 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 exciting features (see some screenshots) and a wide range of bugs.
The Proof General Wiki, from the School of Informatics at The University of Edinburgh, Scotland, has apparently (?) moved from a MoinMoin wiki at http://ProofGeneral.Inf.Ed.ac.uk/kit/wiki to a TWiki wiki engine at https://wiki.Inf.Ed.ac.uk/PG in 2008.