Privacy statement as of 2023-09-22
Remote automated provers
By using remote automated provers in the web interface, you send requests to System on TPTP. System on TPTP may keep logs of your requests (including your IP address) on grounds of legitimate interest, e.g., to prevent people from abusing these shared computing resources.
Analytics and tracking
We do not track you or keep any of your personal data. We do not have access to logs of our hosting service and System on TPTP.