Contact and reporting
In effect from 2026-07-30.
Three different things, three different places — because they have genuinely different urgency, and putting them in one queue would bury the one that matters.
The verifier got it wrong
If you believe a proof was accepted that is not correct, this is the report we most need, and we would rather hear it privately before it is public.
Include the problem id and the Lean, if you have it. We will confirm receipt within two working days, tell you what we found, and — if you want — credit you on the fix. Reporting a hole is welcomed, never punished:nothing in the terms is enforced against someone who tells us about a flaw instead of using it.
A statement is wrong or unclear
If the Lean on a problem does not say what the mathematics means, say so in the discussion under that problem. The context is already there, and the maintainer for that area reads it. That is a better route than email for this one, and other readers can weigh in.
Anything else
Bugs, ideas, account trouble, or a question about the project: hello@conjectura.org.
Legal and privacy requests
Data access or deletion: hello@conjectura.org, answered within 30 days. See Privacy.