Privacy Policy
Last updated: March 2026
Browsing the Website and Manual
When you browse prover9.org, including the manual and documentation:- Standard web server logs record IP addresses, timestamps, and request URLs (e.g., which pages you visit). These logs are used for operational monitoring and are rotated automatically.
- We do not use cookies, analytics services, or tracking scripts.
- We do not collect any personal information beyond what is present in standard HTTP requests.
Using the Web Application
When you use the Prover9/Mace4 web application:- Everything runs entirely in your browser using WebAssembly. Your formulas, proofs, models, and verification results are never sent to our servers. All computation happens on your device.
- Proof verification uses Vampire, also compiled to WebAssembly, running locally in your browser. No data leaves your device during verification.
- We do not log the content of your input or output.
Infrastructure
This site is served through Cloudflare, which provides CDN, DDoS protection, and TLS termination. Cloudflare may process request metadata (IP addresses, headers) in accordance with their own privacy policy: https://www.cloudflare.com/privacypolicy/All connections between Cloudflare and our origin servers use encrypted channels with mutual certificate verification.