Current Capabilities

Arithmetic mode

• (in)equation chains   `cosh x = frac(e^x + e^(-x))(2) = frac((e^x-1)^2)(2 e^x) + 1 >= 1`
• basic operators, |…|, `root(n)(…)`, `log`, `sin`, `sinh`, …, derivatives
• the published paper only knows this mode

Equation mode

• also |…|, `log`, `sin`, …
• reports loss of teacher-given solutions
• checks that student-found solutions satisfy the equation

Array Claim mode       an example

Propositional Logic mode, Modular Arithmetic mode