FullProof

FullProof enables students to practice open and complex math questions from existing textbooks, with emphasis on problems of proof in geometry (from middle- through high school).

Students write all the stages of proof by themselves (statements, equations and auxiliary constructs) using an interactive diagram-based UI. Students can choose any valid path to the solution.

The system automatically checks solutions and provides detailed feedback on each step, smart hints, diagnosis of common errors, and personalized recommendations for further learning. FullProof is suitable for both homework and classroom work, including distance-learning. Teachers receive summarized and detailed information regarding the students’ activities and the difficulties encountered in the classroom. This is done on a continuous and immediate basis, eliminating the need for manual checking of homework and exams.

The solution is being used by many local authorities across all all sectors (including Arabic language support).