Geometrikal is an edutech site that lets students enter the geometric problems that they encounter in class and get a step-by-step solution in the two-column proof format which is standard in many educational systems, currently focused on the Israeli market.
