PG Web: Difference between revisions
Jump to navigation
Jump to search
Hoof Hearted (talk | contribs) m (Hoof Hearted moved page Proof General Wiki to PG Web: Current wiki name) |
Hoof Hearted (talk | contribs) (Update) |
||
| Line 1: | Line 1: | ||
{{Wiki | {{Wiki <!--see 'Template:Wiki' for full detail and hidden help advice--> | ||
|name = PG Web, <small>''originally''</small><br>Proof General Wiki | |||
|URL = https://wiki.Inf.Ed.ac.uk/PG | |||
|logo = No | |logo = No | ||
|URL | |recentchanges URL= https://wiki.Inf.Ed.ac.uk/PG/WebChanges | ||
| | |wikinode URL = No<!--https://YourWikiURL.org/wiki/WikiNode, if none, use 'No'--> | ||
| | |about URL = No<!--https://YourWikiURL.org/wiki/PROJECTNAMESPACE:About, if none, use 'No'--> | ||
| | |founder = unknown<!--wiki founder(s) name(s); wikilink or hotlink if available; if unknown, use 'unknown'--> | ||
|status = Active | |status = Active | ||
|language = English | |language = English | ||
|editmode = | |editmode = ByInvitation | ||
|engine = TWiki | |engine = TWiki | ||
|license = Copyright to contributing authors | |license = Copyright to contributing authors | ||
|maintopic = | |maintopic = Software development | ||
|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--> | |||
}} | }} | ||
{{Size <!--see Template:Size for full detail--> | {{Size <!--see Template:Size for full detail--> | ||
|pages= 137 <!--type the plain number of pages | |pages= 137<!--type the plain number of pages; NO thousands separators--> | ||
|statistics URL= https://wiki. | |statistics URL= https://wiki.Inf.Ed.ac.uk/PG/WebIndex | ||
|wikiFactor= <!--preferred | |wikiFactor= <!--(wF), preferred; see: Category:wikiFactor; if wF unknown leave void; archived wF value may be used--> | ||
|wikiFactor URL= <!--wF source | |wikiFactor URL= <!--wF source; often 'PopularPages', 'Mostvisitedpages', 'PageHits'; leave void if unknown; archived URL if available--> | ||
}}(As of: | }}(As of: 2022-07-06)<!--YYYY-MM-DD; manually add/amend ISO 8601 date when stats are verified and/or updated--> | ||
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. [http:// | ;''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. [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''' has apparently (?) moved from a MoinMoin wiki at http:// | The '''Proof General Wiki''', from the School of Informatics at The {{tag|University}} of {{tag|Edinburgh}}, Scotland, has apparently (?) moved from a {{tag|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|FoundedIn2008|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))'' | ||
Revision as of 23:06, 6 July 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: | Software development |
| 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.