Axiom collects nothing. This page explains what that means in practice.
Nothing. Axiom does not collect, transmit, sell or share any personal information. There is no account, no sign-in, and no server that belongs to us.
Your proofs, crowns, daily results and settings are written to this app's private storage on this device. Nothing is uploaded, because the app has no way to reach a network. Uninstalling removes it all, so the app will export the whole record as a JSON file at any time, and restore it from that file on another phone.
Axiom does not request the INTERNET permission. It cannot send your data anywhere, because Android will not let it open a network connection at all. This is verifiable in the app's manifest on the Play listing.
Axiom is not directed at children under 13 and collects nothing from anyone, of any age.
There are none. Axiom contains no advertising SDK, no analytics SDK, and no crash reporter. It does not use an advertising ID.
Because nothing is collected or transmitted, there is nothing held about you to access, correct or delete on a server. Uninstalling the app removes its data from your device. Any in-app export gives you a copy of your own content in an open format.
There are none, and this is deliberate. Comparing proof lengths across players would need an account and a server, and Axiom has neither. Every crown you see is scored against the shortest proof the app's own verification kernel can find, computed on your phone.
Today's theorem is worked out from the date on your device using a fixed rule that is the same in every copy of the app. That is why everyone gets the same puzzle without anything being downloaded, and why the daily works with the phone in flight mode.
The share button hands a short block of text to whatever app you choose. It contains the shape of your proof tree, your move count and the par, and it never leaves the device until you pick a destination yourself.
If this policy changes, the updated version will be published at this address with a new date.
SocialSure Private Limited. Questions: shayanm2002@gmail.com. Project page: https://shayanmohd.github.io/axiom/
Axiom is published by SocialSure Private Limited.