Terms of Service

1. Acceptance of Terms

By accessing or using ProofMesh, you agree to be bound by these Terms of Service. If you do not agree to these terms, please do not use our platform.

2. Description of Service

ProofMesh is a collaborative platform for mathematical problem-solving, proof verification, and academic research. We provide tools for creating, sharing, and verifying mathematical proofs using Lean 4 and other formal verification systems.

3. User Accounts

To use certain features of ProofMesh, you must create an account. You agree to:

• Provide accurate and complete information
• Maintain the security of your account credentials
• Promptly notify us of any unauthorized access
• Accept responsibility for all activities under your account

4. User Content

You retain ownership of content you create on ProofMesh. By posting content, you grant us:

• A license to host, display, and distribute your content
• The right to modify content for technical purposes
• Permission to share public content with other users

You are responsible for ensuring your content does not violate intellectual property rights or contain harmful, illegal, or offensive material.

5. Acceptable Use

You agree not to:

• Use the platform for any illegal purpose
• Attempt to gain unauthorized access to any part of the service
• Interfere with or disrupt the integrity of the platform
• Harass, abuse, or harm other users
• Upload malicious code or viruses

6. Termination

We reserve the right to suspend or terminate your account at any time for violations of these terms or for any other reason at our discretion. You may also delete your account at any time.

7. Disclaimer

ProofMesh is provided "as is" without warranties of any kind. We do not guarantee the accuracy of proofs or mathematical content created by users. Always verify critical mathematical results independently.

8. Contact

For questions about these Terms, please contact us at: legal@proofmesh.org