Features
Multiple proof strategies
Direct, contradiction, contrapositive, induction, ε–δ for limits.
Formal error checks
Detect missing justifications, invalid quantifiers, and leaps in logic.
LaTeX-ready output
Export clean LaTeX to Overleaf or your template.