Proofscape is operated by the Royalroad Mathematics Foundation, Inc. ("we", "us", or "RMF"), a non-profit corporation whose mission is to promote the accessibility and appreciation of higher mathematics.
Proofscape provides a question-and-answer platform where users of this site can help each other to understand mathematical proofs. In order to facilitate this, Proofscape also houses a digital, graphical library of existing mathematics. Subject to these Terms, you can use Proofscape to view interactive diagrammatic representations of known theorems and proofs, to encode such representations, to request inference expansions from fellow users, and to provide the same. The Proofscape project (the "Project") consists both of building the digital library by encoding representations of known theorems and proofs, and of requesting and providing expansions on inferences within these proofs.
You are welcome to participate in the Proofscape Project as a reader or contributor, but you should follow the policies that govern the Site. Because the Site is dedicated to making content freely accessible to the public, all content you contribute must be available under a free license or in the public domain, or else count as fair use pursuant to 17 U.S.C. § 107.
RMF provides the infrastructure and organizational framework that allows our users to build the Proofscape Project (the "Project") by contributing and editing content themselves. Therefore,
We happily welcome your participation in the Project, and encourage you to be civil and polite in your interactions with others in the community, to act in good faith, and to make edits and contributions aimed at furthering the goals of the Project.
Certain activities, whether legal or illegal, may be harmful to other users and violate our rules, and some activities may also subject you to liability. Therefore, for your own protection and for that of other users, you may not engage in such activities on the Site. These activities include:
We reserve the right to exercise our enforcement discretion with respect to the above terms.
You are responsible for safeguarding your own password and should never disclose it to any third party.
To grow the commons of free knowledge and free culture, all users contributing to Proofscape are required to grant broad permissions to the general public to re-distribute and re-use their contributions freely, so long as that use is properly attributed and the same freedom to re-use and re-distribute is granted to any derivative works. Therefore we require that when necessary all submitted content be licensed so that it is freely reusable by anyone who cares to access it.
You agree to the following licensing requirements:
(Re-users may comply with either license or both.)
The only exception is if the feature requires a different
license. In that case, you agree to license any text you contribute under that
Please note that these licenses do allow commercial uses of your contributions, as long as such uses are compliant with the terms.
You agree that, if you import text under a CC BY-SA license that requires attribution, you must credit the author(s) in a reasonable fashion. Where such credit is commonly given through version histories, it is sufficient to give attribution in the commit message, which is recorded in the version history, when importing the text. The attribution requirements are sometimes too intrusive for particular circumstances (regardless of the license), and there may be instances where the Proofscape community decides that imported text cannot be used for that reason.
When you re-use or re-distribute a text page developed by the Proofscape community, you agree to attribute the authors in any of the following fashions:
If the text content was imported from another source, it is possible that the content is licensed under a compatible CC BY-SA license but not GFDL (as described in “Importing text,” above). In that case, you agree to comply with the compatible CC BY-SA license and do not have the option to re-license it under GFDL. To determine the license that applies to the content that you seek to re-use or re-distribute, you should review the page footer, version history, and discussion page.
In addition, please be aware that text that originated from external sources and was imported into the Project may be under a license that attaches additional attribution requirements. Users agree to indicate these additional attribution requirements clearly. Such requirements may appear for example in a banner or other notations pointing out that some or all of the content was originally published elsewhere. Where there are such visible notations, re-users should preserve them.For any non-text media, you agree to comply with whatever license under which the work has been made available. When re-using any content that we host, you agree to comply with the relevant attribution requirements as they pertain to the underlying license or licenses.
When modifying or making additions to any non-text media that you have obtained from a Project website, you agree to license the modified or added content in accordance with whatever license under which the work has been made available.With both text content and non-text media, you agree to clearly indicate that the original work has been modified. If you are re-using text content in a wiki, it is sufficient to indicate in the page history that you made a change to the imported text. For each copy or modified version that you distribute, you agree to include a licensing notice stating which license the work is released under, along with either a hyperlink or URL to the text of the license or a copy of the license itself.
RMF wants to ensure that the content that we host can be re-used by other users without fear of liability and that it is not infringing the proprietary rights of others. In fairness to our users, as well as to other creators and copyright holders, our policy is to respond to notices of alleged infringement that comply with the formalities of the Digital Millennium Copyright Act (DMCA). Pursuant to the DMCA, we will terminate, in appropriate circumstances, users and account holders of our system and network who are repeat infringers.
However, we also recognize that not every takedown notice is valid or in good faith. In such cases, we strongly encourage users to file counter-notifications when they appropriately believe a DMCA takedown demand is invalid or improper. For more information on what to do if you think a DMCA notice has been improperly filed, you may wish to consult the Lumen website.
If you are the owner of content that is being improperly used on Proofscape without your permission, you may request that the content be removed under the DMCA. To make such a request, please email us at legal royalroadmath.org.
You are solely responsible for your use of any third-party websites or resources. Although Proofscape contains links to third-party websites and resources, we do not endorse and are not responsible or liable for their availability, accuracy, or the related content, products, or services (including, without limitation, any viruses or other disabling features), nor do we have any obligation to monitor such third-party content.
In an unusual case, the need may arise to address an especially problematic user because of significant Project disturbance or dangerous behavior. In such cases, we reserve the right, but do not have the obligation to:
RMF may also take action including but not limited to warning, investigating, blocking, or banning users who violate these policies. You agree to comply with the final decisions of RMF.
RMF may release official policies from time to time. Some of these policies may be mandatory for the Project, and, when they are, you agree to abide by them as applicable.
Highlighted for emphasis
Highlighted for emphasis
At RMF, we do our best to provide educational and informational content to a wide audience, but your use of our services is at your sole risk. We provide these services on an "as is" and "as available" basis, and we expressly disclaim all express or implied warranties of all kinds, including but not limited to the implied warranties of merchantability, fitness for a particular purpose, and non-infringement. We make no warranty that our services will meet your requirements, be safe, secure, uninterrupted, timely, accurate, or error-free, or that your information will be secure.
Any material downloaded or otherwise obtained through your use of our services is done at your own discretion and risk, and you will be solely responsible for any damage to your computer system or loss of data that results from the download of any such material. You agree that we have no responsibility or liability for the deletion of, or the failure to store or to transmit, any content or communication maintained by the service. We retain the right to create limits on use and storage at our sole discretion at any time with or without notice.
Some states or jurisdictions do not allow the types of disclaimers in this section, so they may not apply to you either in part or in full depending on the law.
Highlighted for emphasis
RMF will not be liable to you or to any other party for any direct, indirect, incidental, special, consequential or exemplary damages, including but not limited to, damages for loss of profits, goodwill, use, data, or other intangible losses, regardless of whether we were advised of the possibility of such damage. In no event shall our liability exceed fifty U.S. dollars (USD 50.00) in aggregate. In the case that applicable law may not allow the limitation or exclusion of liability or incidental or consequential damages, the above limitation or exclusion may not apply to you, although our liability will be limited to the fullest extent permitted by applicable law.
You understand that, unless otherwise agreed to in writing by us, you have no expectation of compensation for any activity, contribution, or idea that you provide to us, the community, or the Proofscape Project.