Openproofs:Copyrights

See Terms of Service.

Note that all textual contributions to the OpenProofs site (including Wiki and mailing list) are considered to be released under the Creative Commons license "Attribution 3.0" (or later version). Unless otherwise noted, any source code and/or machine-processable proofs that are posted directly to the site are also released under the "MIT" license. Note that posting a hypertext link only provides the link, not the material linked to, so you can post hypertext links to material not under these licenses. Others may edit any Wiki text you provide; do not expect that it will remain unchanged.

You must only post information you can legally post to the public under these terms; do not submit copyrighted work without permission from the copyright holder.