Welcome to the Elfe training session!

Welcome to the training session with the Elfe!

We hope that training with the system will help you with proving mathematical statements.

Your answers to the question are not graded or assessed – we will only record your inputs to improve the system.