Bureaucrats, checkuser, Interface administrators, interwiki, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Editors (Semantic MediaWiki), staff, Suppressors, Administrators
83,693
edits
ProofWiki: Difference between revisions
m
Text replacement - "Creative Commons Attribution-Share Alike" to "Creative Commons Attribution Share Alike"
Hoof Hearted (talk | contribs) m (Text replacement - "FoundedIn2008" to "Founded in 2008") |
Hoof Hearted (talk | contribs) m (Text replacement - "Creative Commons Attribution-Share Alike" to "Creative Commons Attribution Share Alike") |
||
| Line 11: | Line 11: | ||
|editmode = ConfirmEmail | |editmode = ConfirmEmail | ||
|engine = MediaWiki | |engine = MediaWiki | ||
|license = Creative Commons Attribution | |license = Creative Commons Attribution Share Alike | ||
|maintopic = Mathematics | |maintopic = Mathematics | ||
|backupurl = https://Archive.org/details/wiki-proofwikiorg_w | |backupurl = https://Archive.org/details/wiki-proofwikiorg_w | ||
| Line 26: | Line 26: | ||
'''ProofWiki''' is an online compendium of {{tag|Mathematics|mathematical}} proofs. Our goal is the collection, collaboration, and classification of mathematical proofs. If you are interested in helping create an online resource for mathematical proofs feel free to create an account and contribute. Thanks and enjoy! | '''ProofWiki''' is an online compendium of {{tag|Mathematics|mathematical}} proofs. Our goal is the collection, collaboration, and classification of mathematical proofs. If you are interested in helping create an online resource for mathematical proofs feel free to create an account and contribute. Thanks and enjoy! | ||
Textual wiki content was originally released under the {{tag|Wiki GNU Free Documentation License|GNU Free Documentation License}} (GNU FDL, or merely GFDL), however, it subsequently changed to the more appropriate {{tag|Wiki Creative Commons Attribution | Textual wiki content was originally released under the {{tag|Wiki GNU Free Documentation License|GNU Free Documentation License}} (GNU FDL, or merely GFDL), however, it subsequently changed to the more appropriate {{tag|Wiki Creative Commons Attribution Share Alike|Creative Commons Attribution Share-Alike 3.0 Unported license}} (CC-BY-SA-3.0). | ||
;''Related wiki | ;''Related wiki | ||