Bureaucrats, checkuser, Interface administrators, interwiki, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Editors (Semantic MediaWiki), staff, Suppressors, Administrators
83,693
edits
PG Web: Difference between revisions
m
Text replacement - "FoundedIn2008" to "Founded in 2008"
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))'' | ||