C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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