Privacy Policy

1. Data Controller

provably (Oliver Dressler, Wädenswil, Switzerland) is the controller of your data. For any privacy-related inquiries, please contact our support email.

2. Data We Collect

We collect only what is necessary to operate and improve the service:

• Account data: email and authentication details.
• Usage data: IP addresses and technical logs (to maintain security and prevent abuse).
• Content data: discussions, code, and mathematical proofs submitted to the platform.

3. Purpose & Service Evolution

We process your data to:

• Operate and secure the provably platform.
• Conduct scientific research in automated reasoning.
• Develop and refine our AI models, which may be offered as part of our commercial services or premium features.

4. Third-Party AI Infrastructure

To provide and improve our services, your submitted content may in the future be processed by third-party AI providers. If so, your content will be subject to the processing standards of these infrastructure partners.

5. Research & Anonymization

We may publish anonymized datasets for scientific purposes. We remove personally identifiable information (PII) before such publication. Once data is integrated into a trained model or an anonymized research set, it generally cannot be removed.

6. Retention & Your Rights

We store data for as long as necessary for our research and service goals. Under Swiss law, you have the right to access or request the deletion of your personal data. However, we may retain certain data to comply with legal obligations or protect the integrity of our research.

7. Governing Law

This policy is governed by Swiss law. The place of jurisdiction is Zurich, Switzerland.