TetractysLab
Research-grade, step-by-step mathematical reasoning
∀ε > 0, ∃δ > 0 : |x − a| < δ ⇒ |f(x) − L| < ε
Supports LaTeX, multi-line proofs, and mathematical reasoning
Work with functions, sets, sequences, and operators.
Responses are structured as definitions, lemmas, and proofs when applicable.