Grading Proof Problems Geometry