For Math majors in proof-heavy courses
Get A-level proofs. Checked for errors before you submit.
QED drafts rigorous, LaTeX-ready proofs and runs formal checks to catch logical gaps, undefined steps, and notation mistakes ahead of time.
Student pricing available
Multiple proof strategies
Direct, contradiction, contrapositive, induction, ε–δ for limits. Compare approaches side-by-side to build intuition.
LaTeX-ready output
Export clean LaTeX with aligned equations and theorem environments that drops right into your template.
Rigor with hints
See each inference explained. Toggle hint levels—from outline to full derivation—to learn while you finish.
Formal error checks
Detect missing justifications, invalid quantifier use, and leaps in logic before submission.
Notation and style guardrails
Catch symbol mismatches, ambiguous variables, and inconsistent definitions.
Strategy sanity checks
Flag when contradiction/contrapositive/induction setup is incorrect or incomplete.
How it works
Paste the problem
Include assumptions and what you must prove.
Pick a strategy
Direct, contradiction, contrapositive, induction, or ε–δ.
Generate and learn
See a rigorous draft plus explanations for each inference.
Run checks & export
Catch issues, then export LaTeX for Overleaf or your template.
FAQ
Is this allowed by my course?
QED is a learning tool. Use it to explore strategies and draft your own proofs. Always follow your institution's academic integrity policy.
Does it support LaTeX export?
Yes—export clean LaTeX ready for Overleaf or your local template.
Which courses does it help with?
Discrete Math, Real Analysis, Abstract Algebra, Topology, Number Theory, and more.
Will I actually learn?
Yes. Toggle hint levels and explanations to see the reasoning behind each step, not just the final write-up.
Get early access to QED
Join the waitlist for a student discount and priority invites. We'll email you when your spot opens.