Failure modes

A maths claim accepted without a machine-checked proof

Code unchecked_maths_claim. Severity: medium.

Guarded today by

Can be caused by

No component declares that its own use can cause it.

Contact

Write to .

Every email is reviewed by the founder, and we endeavour to respond within 48 hours. Thank you for your correspondence.