Terms
Free to use, with labels that say exactly how far each fact was checked.
Free to use
HHH is free. Facts and text are shared under CC BY 4.0: credit Humanities Helping Hands and link back. Code is under Apache 2.0.
What the labels mean
PROVEN means a machine checked it: either a Lean proof, or an exact computer check of the arithmetic run in your browser. Each fact says which one, and what it does not cover. A browser check proves the numbers, never the real-world reading of them.
MEASURED, REASONED and GUESS are not proofs, and each one shows its reason. Labels can be wrong or change when new evidence arrives; tell us and we will fix it.
Not professional advice
Nothing on HHH is medical, legal or financial advice.
The P vs NP log
The attempts log records published ideas and where they fail. Logging an attempt does not mean it is correct.
Fair use
Do not try to break, overload or misuse the site or the HHH connector. The connector answers a limited number of calls per minute from one address.
No warranty
HHH is provided as is. To the extent the law allows, we are not liable for losses from using it.
Changes and contact
We may update these terms; the date at the top will change. Questions: [email protected].