For university Math departments
Proof-writing at department scale. Checked for errors before submission.
QED helps faculty and students draft rigorous, LaTeX-ready proofs and runs formal checks to catch logical gaps, undefined steps, and notation mistakes across courses.
Annual department subscriptions
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.
Request a department demo
Join the list for a tailored walkthrough and pricing details for your Math department.