Jump to content

Template:ProofWiki/doc

From Wikipedia, the free encyclopedia

Note: ProofWiki does not satisfy WP:RS, and fails WP:ELNO #12, so in most cases this template should not be used.

Usage

[edit]
{{ProofWiki|id=PageIdentifier|name=DisplayName}} 
PageIdentifier is the url address of the page. DisplayName is used to render the link (default is name of transcluding page).

Example

[edit]
{{ProofWiki|id=Definition:Formal_System|name=Formal System}} 

Formal System at PrfWiki

See also

[edit]