Proof Buddy: A Tool to Aid Students in Proof Construction.

Steve Earth Jeremy R. Johnson Bruce W. Char

Published in: SIGCSE (2) (2023)

Keyphrases

theorem prover
higher education
science learning
user friendly
computer aided learning
e learning
theorem proving
learning activities
learning environment
student learning
tutoring system
online learning
undergraduate students
programming course
grounded theory
computer science students
case study