Electronic proofs and electronic assessments in an educational context transferred to South African conditions

Reasoning skills form the basis for the proving of mathematical statements and relations themed in higher school grades in different contexts. It is important that students acquire or expand their reasoning skills as part of their teacher training in order to provide age appropriate reasoning skills to their pupils. The vision is to develop an open source e-proof system that supports learners in understanding of proof structures and teachers in the evaluation of proving tasks. Therefore, a first prototype for a diagnostic based exercise environment for automatically supported proving was developed for German conditions. In this paper, the pilot prototype of the e-proof system is presented and a first transfer to South African conditions is discussed.