Intelligent understanding of handwritten geometry theorem proving
A code reuse interface for non-programmer middle school students