Terms

These are plain-language beta terms for Proofline. By using the service, you agree to use it lawfully and within the supported mathematical scope shown in the product.

Educational use

Proofline is an educational aid. Verify important work independently and follow the rules of your class, test, institution, or workplace.

Beta availability

The service may change, disable an unreliable capability, or become temporarily unavailable. A mathematically uncertain result should fail explicitly rather than remain available for convenience.

Acceptable use

Do not attempt to overload the solver, bypass request limits, probe private infrastructure, upload malicious content, or use automated traffic that harms service for others.

Assisted features

Photo transcription is provider-assisted and available only when the Photo tab says Ready. Its candidate is unverified until you confirm it and the deterministic solver checks the resulting problem. PDF input, natural-language conversion, drawing recognition, and follow-up tutoring are not part of this release.

No universal guarantee

Verification reduces a specific class of errors; it is not a promise that every mathematical problem can be interpreted or solved. The interface states when a capability is unsupported or verification is inconclusive.

Changes to these terms

Material changes will be reflected on this page before they apply to new product capabilities.