HIGHLIGHTS
- What: The authors gathered feedback on the tool through a questionnaire and the authors provide an intervention of its effectiveness for students in a class setting along with technical aspects. In the project1 , the authors propose a tool, OnlineProver2, for providing exercises for the Gentzen style derivation proofs over user definable deduction systems. The authors asked the fourth control question, to gain an overview of students` experience in the topic, as one of the main purposes of the tool is to help beginners. Through RQ1, the authors aimed to get feedback on the overall understanding of the . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.