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) m (Text replace - "http://wikiindex.org/images/e/e6/NoLogo.png" to "No") |
Hoof Hearted (talk | contribs) m (Text replacement - "FoundedIn2008" to "Founded in 2008") |
||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{Wiki | {{Wiki <!--see 'Template:Wiki' for full detail and hidden help advice--> | ||
|logo | |name = PG Web, <small>''originally''</small><br>Proof General Wiki | ||
|URL | |URL = https://wiki.Inf.Ed.ac.uk/PG | ||
| | |logo = No | ||
| | |recentchanges URL= https://wiki.Inf.Ed.ac.uk/PG/WebChanges | ||
|status | |wikinode URL = No<!--https://YourWikiURL.org/wiki/WikiNode, if none, use 'No'--> | ||
|language | |about URL = No<!--https://YourWikiURL.org/wiki/PROJECTNAMESPACE:About, if none, use 'No'--> | ||
|editmode | |founder = unknown<!--wiki founder(s) name(s); wikilink or hotlink if available; if unknown, use 'unknown'--> | ||
|engine | |status = Active | ||
|maintopic | |language = English | ||
}} | |editmode = ByInvitation | ||
== | |engine = TWiki | ||
|license = Copyright to contributing authors | |||
|maintopic = Mathematics | |||
|backupurl = <!--database dump backup file URL; found at '/Special:Statistics' on Wikia & some other MediaWiki sites; archived URL may also be used--> | |||
|backupdate = 20YY-MM-DD<!--YYYY-MM-DD, ISO 8601 extended date of backup URL; if unknown, dynamic or NO date, DELETE this field--> | |||
}}{{For|the earlier, now defunct MoinMoin-powered wiki|Proof General Documentation Wiki}} | |||
{{Size <!--see Template:Size for full detail--> | |||
|pages= 137<!--type the plain number of pages; NO thousands separators--> | |||
|statistics URL= https://wiki.Inf.Ed.ac.uk/PG/WebIndex | |||
|wikiFactor= <!--(wF), preferred; see: Category:wikiFactor; if wF unknown leave void; archived wF value may be used--> | |||
|wikiFactor URL= <!--wF source; often 'PopularPages', 'Mostvisitedpages', 'PageHits'; leave void if unknown; archived URL if available--> | |||
}}(As of: 2022-07-06)<!--YYYY-MM-DD; manually add/amend ISO 8601 date when stats are verified and/or updated--> | |||
[[Category: | |||
;''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 {{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|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))'' | |||