Hi everyone,
I've been building QED because I found that learning proof-based math has a frustrating gap: getting explanations is easy, but getting enough structured practice is hard.
Most students end up with a mix of lecture notes, random exercises, and chatbots — but there is no clear overview of:
- What topics you have mastered
- What you should practice next
- Whether your reasoning is actually improving
- Which types of mistakes you keep making
QED is designed as a dedicated practice environment for proof-based math.
It includes:
• A growing question bank covering logic, sets, relations, functions, induction, graphs, combinatorics, probability, linear algebra, calculus, and more
• Learning paths that guide you from fundamentals toward harder exam-style questions
• Freshly generated questions at different difficulty levels, so you don't just memorize a fixed exercise list
• A personal library where you can save, revisit, and retake questions
• Exam-style grading that looks at the reasoning, not just the final answer (for example, identifying missing justifications in a proof or incomplete counter-models)
• A proper mathematical editor for notation like ∀, ∃, ∧, →, ⊨, truth tables, and formulas
The goal isn't to replace learning with an answer generator — it's to create the kind of deliberate practice environment that is usually missing in proof-heavy courses.
I'd love feedback from students!
- What features would actually help you practice math more consistently?
- How do you currently organize your proof/discrete math practice?
- What makes you feel like you're improving in a difficult math course?
If anyone is interested, you can try it here for free:
https://qed-math-trainer.com/
Thanks!