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.