Openproofs:Terms of Service

This site, openproofs.org, is dedicated to defining and encouraging the development of open proofs and other publicly-available proofs of software/system implementations.

Your account permits you to share information related to open proofs (e.g., by modifying Wiki pages and posting to the mailing list). You may not provide irrelevant information or links to irrelevant information (aka "spam" and "link spam"), including pornography or illegal activities. You also may not use the list of users for any purpose (this condition protects our users from spam). Adding relevant information or links to relevant information is highly encouraged, including relevant information on papers, products, formal methods, open source, and open standards.

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.