MathCheck is a tool for checking math solutions in detail
Students get feedback on their solutions
Example: simplification ((x+6)(x+4)+1)/(x+5) = (x^2+10x+64+1)/(x+5) = ((x+5)^2)/(x+5) = x+5 /**/ /* assume x != -5; ((x+6)(x+4)+1)/(x+5) = (x^2+10x+25)/(x+5) = ((x+5)^2)/(x+5) = x+5 */ or
Example: express that the element at index `i` of `K[0…m-1]` is maximal. array_claim K[0...m-1] 0 <= i < m /\ AA k; 0 <= k < m: K[k] <= K[i] <=> AA k; 0 <= k <= m: K[k] < K[i] or
Example: expression tree
Example: equation solving